diff options
| -rw-r--r-- | spec/spec.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/spec.tex b/spec/spec.tex index dab27ddd..9dae9bab 100644 --- a/spec/spec.tex +++ b/spec/spec.tex @@ -130,7 +130,7 @@ Note that a module definition does {\em not} indicate that the module will be ph Externally defined modules consist of a given name, and a list of ports, whose types and names must match its external definition. \begin{verbatim} -module MyExternalModule : +extmodule MyExternalModule : input foo: UInt output bar: UInt output baz: SInt |