From: Jérémie Astor <fennecdjay@gmail.com>
Date: Sun, 16 May 2021 16:09:37 +0000 (+0200)
Subject: :bug: Fix missing include (tflag_contract)
X-Git-Tag: nightly~650
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=1e9f4c4d63f2d8c116e9eafcf9f5bafb346ed111;p=gwion.git

:bug: Fix missing include (tflag_contract)
---

diff --git a/include/env/type.h b/include/env/type.h
index 431dac00..109dd29d 100644
--- a/include/env/type.h
+++ b/include/env/type.h
@@ -34,6 +34,7 @@ enum tflag {
   tflag_typedef  = 1 << 16,
   tflag_distinct = 1 << 17,
   tflag_noret    = 1 << 18,
+  tflag_contract = 1 << 19,
 } __attribute__((packed));
 
 struct Type_ {