diff --git a/heap_lang/lang.v b/heap_lang/lang.v
index 153c1f3e2dcac71c3a72f7d9f9841b93fdb9922c..23277892d937dd0f523ecf2efb51671981459862 100644
--- a/heap_lang/lang.v
+++ b/heap_lang/lang.v
@@ -119,8 +119,6 @@ Arguments PairV _%V _%V.
 Arguments InjLV _%V.
 Arguments InjRV _%V.
 
-Definition signal : val := RecV BAnon (BNamed "x") (Store (Var "x") (Lit (LitInt 1))).
-
 Fixpoint of_val (v : val) : expr [] :=
   match v with
   | RecV f x e => Rec f x e