From f55553b1df0ab083f4f53862e6cf200bd9ceab3e Mon Sep 17 00:00:00 2001
From: Albert Magyar
Date: Tue, 20 Mar 2018 13:47:21 -0700
Subject: Correct extmodule example in spec (#768)

---
 spec/spec.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'spec')

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
-- 
cgit v1.2.3