Commit 9748bb8b authored by Heiko Becker's avatar Heiko Becker

Merge branch 'affine_arithmetic' of into affine_arithmetic

parents 7966637f 2a7dd8ec
......@@ -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
| 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