diff options
author | Robert Sloan <varomodt@gmail.com> | 2016-03-29 09:48:34 -0400 |
---|---|---|
committer | Robert Sloan <varomodt@gmail.com> | 2016-03-29 09:48:34 -0400 |
commit | 57610a6630b735ec9074543570008d8a9820a004 (patch) | |
tree | 38b3374aa5a340a5d26b8fe22f3c02eb15f9150e /src/Assembly | |
parent | 99b05f977ac873b0be1d34d16181908bfcdc1fac (diff) | |
parent | 824d84126187f359605527beb947a385e43761c4 (diff) |
merge with plv/master
Diffstat (limited to 'src/Assembly')
-rw-r--r-- | src/Assembly/Qhasm.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Assembly/Qhasm.v b/src/Assembly/Qhasm.v index 901554b19..8921b6e4b 100644 --- a/src/Assembly/Qhasm.v +++ b/src/Assembly/Qhasm.v @@ -4,7 +4,7 @@ Require Import Bedrock.Word. Require Import ZArith NArith NPeano. Require Import Coq.Structures.OrderedTypeEx. -Require Export FMapAVL FMapList. +Require Import FMapAVL FMapList. Module NatM := FMapAVL.Make(Nat_as_OT). Definition DefMap: Type := NatM.t N. |