diff --git a/src/Cryptol/Eval/Type.hs b/src/Cryptol/Eval/Type.hs
index 2ef53393..4315b20e 100644
--- a/src/Cryptol/Eval/Type.hs
+++ b/src/Cryptol/Eval/Type.hs
@@ -130,11 +130,3 @@ evalTF f vs
 
   where mb = fromMaybe (typeCannotBeDemoted ty)
         ty = TCon (TF f) (map tNat' vs)
-
---cvt :: Nat' -> Type
---cvt (Nat n) = tNum n
---cvt Inf     = tInf
-
-
-
-