diff options
| -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) |