Fix a minor extraction issue

AeneasVerif · Dec 22, 2023 · 29f358f · 29f358f
1 parent 20f7430
commit 29f358f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/Extract.ml b/compiler/Extract.ml
@@ -610,7 +610,7 @@ and extract_Lambda (ctx : extraction_ctx) (fmt : F.formatter) (inside : bool)
       ctx xl
   in
   F.pp_print_space fmt ();
-  if !backend = Lean then F.pp_print_string fmt "=>"
+  if !backend = Lean || !backend = Coq then F.pp_print_string fmt "=>"
   else F.pp_print_string fmt "->";
   F.pp_print_space fmt ();
   (* Print the body *)