Commit b463b9ac authored by Heiko Becker's avatar Heiko Becker

Merge branch 'affine_arithmetic' of gitlab.mpi-sws.org:AVA/FloVer into affine_arithmetic

parents 0625a155 9748bb8b
...@@ -45,7 +45,7 @@ val typeMap_def = Define ` ...@@ -45,7 +45,7 @@ val typeMap_def = Define `
| Unop u e1 => | Unop u e1 =>
let tMap_new = typeMap Gamma e1 tMap fBits in let tMap_new = typeMap Gamma e1 tMap fBits in
(case FloverMapTree_find e1 tMap_new of (case FloverMapTree_find e1 tMap_new of
| SOME m_e1 => FloverMapTree_insert e m_e1 tMap | SOME m_e1 => FloverMapTree_insert e m_e1 tMap_new
| NONE => FloverMapTree_empty) | NONE => FloverMapTree_empty)
| Binop b e1 e2 => | Binop b e1 e2 =>
let tMap1 = typeMap Gamma e1 tMap fBits in let tMap1 = typeMap Gamma e1 tMap fBits in
......
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