diff --git a/test/testingTypeFun.ml b/test/testingTypeFun.ml
index 2ca8d00..4a2e40a 100644
--- a/test/testingTypeFun.ml
+++ b/test/testingTypeFun.ml
@@ -8,7 +8,7 @@ let program =
   Function
     (["a"],
      FunctionType ([IntegerType], IntegerType),
-     Plus (Variable "x", Integer 1)
+     Variable "x"
     )
 ;;