aboutsummaryrefslogtreecommitdiff
path: root/spec
diff options
context:
space:
mode:
authorAlbert Magyar2018-03-20 13:47:21 -0700
committerGitHub2018-03-20 13:47:21 -0700
commitf55553b1df0ab083f4f53862e6cf200bd9ceab3e (patch)
treee94ac31b1733f3135156c6e61c0d0a401fe9f598 /spec
parentd58b8fe2f187effa9d21dda861e125c9166a3a2b (diff)
Correct extmodule example in spec (#768)
Diffstat (limited to 'spec')
-rw-r--r--spec/spec.tex2
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