diff --git a/regression/smv/modules/use_before_declaration1.desc b/regression/smv/modules/use_before_declaration1.desc
new file mode 100644
index 000000000..91e92262c
--- /dev/null
+++ b/regression/smv/modules/use_before_declaration1.desc
@@ -0,0 +1,8 @@
+KNOWNBUG
+use_before_declaration1.smv
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+--
+This fails to type check.
diff --git a/regression/smv/modules/use_before_declaration1.smv b/regression/smv/modules/use_before_declaration1.smv
new file mode 100644
index 000000000..a0d3b443b
--- /dev/null
+++ b/regression/smv/modules/use_before_declaration1.smv
@@ -0,0 +1,10 @@
+MODULE main
+
+-- you can use modules before they are declared
+SPEC sub.something = 123
+
+VAR sub : my-module;
+
+MODULE my-module
+
+DEFINE something := 123;