diff --git a/regression/smv/define/define7.desc b/regression/smv/define/define7.desc
new file mode 100644
index 000000000..6e8975afc
--- /dev/null
+++ b/regression/smv/define/define7.desc
@@ -0,0 +1,8 @@
+CORE
+define7.smv
+
+^definition of `smv::main::var::a' is cyclic$
+^EXIT=2$
+^SIGNAL=0$
+--
+--
diff --git a/regression/smv/define/define7.smv b/regression/smv/define/define7.smv
new file mode 100644
index 000000000..08251a22d
--- /dev/null
+++ b/regression/smv/define/define7.smv
@@ -0,0 +1,5 @@
+MODULE main
+
+-- a cyclic definition
+DEFINE b := a;
+DEFINE a := b;