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/Util | |
| parent | dacb84784ab3ccb5dca5fc0f1445f752a11feafc (diff) | |
Remove ? notation
It was colliding with the ?[a] notation for fresh evars
Diffstat (limited to 'src/Util')
| -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) |