Merge branch 'divfloor-in-write_smt2' into smtlib2-expr-support

[yosys.git] / kernel / constids.inc

diff --git a/kernel/constids.inc b/kernel/constids.inc
index d822c078b6a334dbc59438a522dfaae14a781215..bab2bc6a95296992372ce64db85bee36a9ec79e4 100644 (file)
--- a/kernel/constids.inc
+++ b/kernel/constids.inc
@@ -84,6 +84,7 @@ X(enum_base_type)
 X(enum_type)
 X(equiv_merged)
 X(equiv_region)
+X(EXPR)
 X(extract_order)
 X(F)
 X(force_downto)