1 files changed, 2 insertions, 0 deletions
diff --git a/src/ast.ml b/src/ast.ml
index 1b3cbfd3..6a74d5b2 100644
--- a/src/ast.ml
+++ b/src/ast.ml
@@ -175,6 +175,8 @@ n_constraint_aux =  (* constraint over kind $_$ *)
  | NC_nat_set_bounded of kid * (int) list
  | NC_or of n_constraint * n_constraint
  | NC_and of n_constraint * n_constraint
+ | NC_true
+ | NC_false
 
 and
 n_constraint =