diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1142,7 +1142,7 @@ CAMLLINK="$bytecamlc" CAMLOPTLINK="$nativecamlc" # Caml flags -CAMLFLAGS=$coq_annotate_flag +CAMLFLAGS=-rectypes $coq_annotate_flag TYPEREX=$coq_typerex_wrapper # Compilation debug flags |