diff options
Diffstat (limited to 'x86/SelectOpproof.v')
| -rw-r--r-- | x86/SelectOpproof.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/x86/SelectOpproof.v b/x86/SelectOpproof.v index ce15b6e1..cdb79c6f 100644 --- a/x86/SelectOpproof.v +++ b/x86/SelectOpproof.v @@ -24,7 +24,7 @@ Require Import Op. Require Import CminorSel. Require Import SelectOp. -Open Local Scope cminorsel_scope. +Local Open Scope cminorsel_scope. (** * Useful lemmas and tactics *) |