1 files changed, 2 insertions, 0 deletions
diff --git a/src/ast.ml b/src/ast.ml
index 6710c749..df3098b5 100644
--- a/src/ast.ml
+++ b/src/ast.ml
@@ -172,6 +172,8 @@ n_constraint_aux =  (* constraint over kind $_$ *)
  | NC_bounded_ge of nexp * nexp
  | NC_bounded_le of nexp * nexp
  | NC_nat_set_bounded of kid * (int) list
+ (* We need this for the new typechecker when as nexp is substituted for an id *)
+ | NC_set_subst of nexp * int list
 
 
 type