Typo

diff --git a/Eval.hs b/Eval.hs
index 21bc5551c26dbd3342fa47f9687df28202e2561e..f16918ba124977b7fa2392e8d00e81aed219ab2c 100644 (file)
--- a/Eval.hs
+++ b/Eval.hs
@@ -432,7 +432,7 @@ equivDom :: Val -> Val
 equivDom = fstVal
 
 equivFun :: Val -> Val
-equivFun = sndVal . fstVal
+equivFun = fstVal . sndVal
 
 -- TODO: adapt to equivs
 -- Every path in the universe induces an hiso