Fix redefinition of cons in syns

miking-lang · Nov 15, 2023 · 9aa6206 · 9aa6206
1 parent 89443de
commit 9aa6206
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/boot/lib/mlang.ml b/src/boot/lib/mlang.ml
@@ -169,7 +169,7 @@ type lang_data =
  * in the new fragment; this function is what makes it so. *)
 let pre_extend_lang : lang_data -> lang_data = fun lang ->
   let work_syn_case : syn_case -> syn_case = fun case ->
-    { case with def_here = true } in
+    { case with def_here = false } in
   let work_syn : syn_data -> syn_data = fun data ->
     { data with
       def_here = false