From 7cdbab4ae5c3fa9f6b7748a4d5b8960f6ec800a7 Mon Sep 17 00:00:00 2001
From: Simon Huber <hubsim@gmail.com>
Date: Tue, 16 Jun 2015 10:48:32 +0200
Subject: [PATCH] Typo

---
 Eval.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Eval.hs b/Eval.hs
index 21bc555..f16918b 100644
--- 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
-- 
2.34.1