diff --git a/frontends/OccamPasses.hs b/frontends/OccamPasses.hs
index 1198640..81867b5 100644
--- a/frontends/OccamPasses.hs
+++ b/frontends/OccamPasses.hs
@@ -57,7 +57,8 @@ occamPasses = makePassesDep' ((== FrontendOccam) . csFrontend)
        [],
        Prop.agg_namesDone ++ [Prop.expressionTypesChecked,
                               Prop.inferredTypesRecorded, Prop.mainTagged,
-                              Prop.processTypesChecked])
+                              Prop.processTypesChecked,
+                              Prop.functionTypesChecked])
     ]
 
 -- | Fixed the types of array constructors according to the replicator count