From 82e7d9be5f8430b3aaa5975709f41dcc515f0017 Mon Sep 17 00:00:00 2001
From: elvis <elvilio98@gmail.com>
Date: Sat, 26 Oct 2024 02:11:00 +0200
Subject: [PATCH] Simplifying test

---
 test/testingTypeFun.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"
     )
 ;;