From 79da97a3e02a079e3d91f04fd012886c57d4c1e8 Mon Sep 17 00:00:00 2001
From: Paul Steckler
Date: Wed, 22 Nov 2017 14:48:04 -0500
Subject: allow whitespace around infix op

---
 test-suite/output/Extraction_infix.out | 4 ++++
 test-suite/output/Extraction_infix.v   | 5 +++++
 2 files changed, 9 insertions(+)

(limited to 'test-suite')

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.
-- 
cgit v1.2.3