Commit ef225811 authored by Nikita Zyuzin's avatar Nikita Zyuzin
Browse files

Correct a typo

parent cae6b2f6
......@@ -45,7 +45,7 @@ Fixpoint typeMap (Gamma:nat -> option mType) (e:exp Q) (e': exp Q) : option mTyp
end
| Fma e1 e2 e3 => if expEq e e' then typeExpression Gamma e
else
match (typeMap Gamma e1 e'), (typeMap Gamma e2 e'), (typeMap Gamma e2 e') with
match (typeMap Gamma e1 e'), (typeMap Gamma e2 e'), (typeMap Gamma e3 e') with
| Some m1, Some m2, Some m3 =>
if (mTypeEq m1 m2) && (mTypeEq m2 m3) then Some m1 else None
| Some m1, None, None => Some m1
......
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