2 files changed, 9 insertions, 0 deletions
diff --git a/test-suite/output/Extraction_infix.out b/test-suite/output/Extraction_infix.out
index 35ded8013a..29d50775a9 100644
--- a/test-suite/output/Extraction_infix.out
+++ b/test-suite/output/Extraction_infix.out
@@ -14,3 +14,7 @@ let test =
 
 let test =
   True@?:::False
+(** val test : foo **)
+
+let test =
+  True  @?:::  False
diff --git a/test-suite/output/Extraction_infix.v b/test-suite/output/Extraction_infix.v
index bc0ddb3e16..fe5926a36a 100644
--- a/test-suite/output/Extraction_infix.v
+++ b/test-suite/output/Extraction_infix.v
@@ -19,3 +19,8 @@ Extraction test.
 
 Extract Inductive I => "foo" [ "(@?:::)" ].
 Extraction test.
+
+(* allow whitespace around infix operator *)
+
+Extract Inductive I => "foo" [ "(  @?:::  )" ].
+Extraction test.