diff --git a/common/ShowCode.hs b/common/ShowCode.hs
index 0ffca02..b731521 100644
--- a/common/ShowCode.hs
+++ b/common/ShowCode.hs
@@ -241,7 +241,6 @@ instance ShowOccam A.Type where
   showOccamM A.Any = tell ["ANY"]
   showOccamM (A.Timer _) = tell ["TIMER"]
   showOccamM A.Time = tell ["TIME"]
-  showOccamM A.Infer = tell ["inferred type"]
   showOccamM (A.UnknownVarType _ en)
     = do tell ["(inferred type for: "]
          either showName (tell . (:[]) . show) en