From 3f678b9044bdd67ab6c9bcdc36e8c786f6512a51 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Thu, 3 Nov 2016 11:12:02 +0100
Subject: [PATCH] Forgot something as part of 7d74f654.
---
proofmode/sel_patterns.v | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/proofmode/sel_patterns.v b/proofmode/sel_patterns.v
index 1f1f9229d..75aa2ee49 100644
--- a/proofmode/sel_patterns.v
+++ b/proofmode/sel_patterns.v
@@ -24,8 +24,8 @@ Fixpoint parse_go (s : string) (k : list sel_pat) (kn : string) : list sel_pat :
| String "%" s => parse_go s (SelPure :: cons_name kn k) ""
| String "#" s => parse_go s (SelPersistent :: cons_name kn k) ""
| String (Ascii.Ascii false true false false false true true true) (* unicode ∗ *)
- (String (Ascii.Ascii false false false true true false false true)
- (String (Ascii.Ascii true false true false false false false true) s)) =>
+ (String (Ascii.Ascii false false false true false false false true)
+ (String (Ascii.Ascii true true true false true false false true) s)) =>
parse_go s (SelSpatial :: cons_name kn k) ""
| String a s => parse_go s k (String a kn)
end.
--
GitLab