From ad0320875cf2889aa8f08607115ac258893b9cf4 Mon Sep 17 00:00:00 2001
From: elvis <elvilio98@gmail.com>
Date: Wed, 20 Nov 2024 00:18:25 +0100
Subject: [PATCH] Merge with cfg

---
 lib/miniFun/TypeChecker.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/lib/miniFun/TypeChecker.ml b/lib/miniFun/TypeChecker.ml
index fc8e17f..d2efcf7 100644
--- a/lib/miniFun/TypeChecker.ml
+++ b/lib/miniFun/TypeChecker.ml
@@ -5,8 +5,6 @@ Random.self_init ()
 
 let (let*) = Result.bind
 
-let rec principalTypings (D: ) (e: t_exp) : () result
-
 let evaluate_type_polimorphic (_program: t_exp) (_context: typingshape) : (typingshape, error) result =
   failwith "Not implemented"
   (* match program with *)