From 2da3bdf5f1bcdef5b11ceddbbbdea87408b90b5a Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 10 May 2016 14:11:37 +0200
Subject: [PATCH] Remove obsolete definition.

---
 heap_lang/lang.v | 2 --
 1 file changed, 2 deletions(-)

diff --git a/heap_lang/lang.v b/heap_lang/lang.v
index 153c1f3e2..23277892d 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
-- 
GitLab