diff options
Diffstat (limited to 'common/Errors.v')
| -rw-r--r-- | common/Errors.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common/Errors.v b/common/Errors.v index 338d777d..293b7993 100644 --- a/common/Errors.v +++ b/common/Errors.v @@ -104,7 +104,7 @@ Notation "'assertion' A ; B" := (if A then B else assertion_failed) (** This is the familiar monadic map iterator. *) -Open Local Scope error_monad_scope. +Local Open Scope error_monad_scope. Fixpoint mmap (A B: Type) (f: A -> res B) (l: list A) {struct l} : res (list B) := match l with |