Commit 2a7dd8ec authored by Heiko Becker's avatar Heiko Becker

Fix stupid bug in typeMap computation

parent ad5170ed
......@@ -57,7 +57,7 @@ Fixpoint typeMap (Gamma:nat -> option mType) (e:expr Q) (tMap:FloverMap.t mType)
| Unop u e1 =>
let tMap_new := typeMap Gamma e1 tMap fBits in
match FloverMap.find e1 tMap_new with
| Some m_e1 => FloverMap.add e m_e1 tMap
| Some m_e1 => FloverMap.add e m_e1 tMap_new
| None => FloverMap.empty mType
end
| Binop b e1 e2 =>
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment