:bug: Fix missing include (tflag_contract)

diff --git a/include/env/type.h b/include/env/type.h
index 431dac0018ec59adecb1614e0df4d5192974c1a5..109dd29d47253d7597a6793a4bbc572207f2a382 100644 (file)
--- 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_ {