diff options
author | Jason Gross <jgross@mit.edu> | 2019-01-17 15:21:07 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2019-01-17 15:21:07 -0500 |
commit | 127e9da1c160032eff67a1c174182a98f6b51ebc (patch) | |
tree | 7f80efea52b9e273a0607ca66e4b2caf2355b99a /src | |
parent | dacb84784ab3ccb5dca5fc0f1445f752a11feafc (diff) |
Remove ? notation
It was colliding with the ?[a] notation for fresh evars
Diffstat (limited to 'src')
-rw-r--r-- | src/Util/Strings/ParseArithmetic.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Util/Strings/ParseArithmetic.v b/src/Util/Strings/ParseArithmetic.v index 2ae6ea347..5e58c838a 100644 --- a/src/Util/Strings/ParseArithmetic.v +++ b/src/Util/Strings/ParseArithmetic.v @@ -97,7 +97,6 @@ Global Arguments orelse {A%type} (parse parse')%parse s%string. Local Open Scope parse_scope. Notation "a <- parse_A ; parse_B" := (bind_parse parse_A%parse (fun a => parse_B%parse)) : parse_scope. -Notation "?" := maybe_parse : parse_scope. Infix "||" := orelse : parse_scope. Fixpoint parse_Z (s : string) : option (Z * string) |