fixup! [major] Add public modules

chipsalliance · Nov 1, 2023 · 5676d11 · 5676d11
1 parent 1b7f50b
commit 5676d11
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/spec.md b/spec.md
@@ -171,9 +171,6 @@ circuit :
     connect b, bar.b
 ```
 
-A circuit may contain public modules that instantiate no common instances.  Two
-public modules may share common instances.
-
 The circuit below is more complex.  This circuit contains three public modules,
 `Foo`, `Bar`, and `Baz`, and one non-public module, `Qux`.  Module `Foo` has no
 common instances with `Bar` or `Baz`.  `Bar` and `Baz` both instantiate `Qux`: