diff options
-rw-r--r-- | riscV/Asmexpand.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscV/Asmexpand.ml b/riscV/Asmexpand.ml index 945974e0..0a7f8a8a 100644 --- a/riscV/Asmexpand.ml +++ b/riscV/Asmexpand.ml @@ -23,7 +23,7 @@ open Asm open Asmexpandaux open AST open Camlcoq -open Integers +open !Integers exception Error of string |