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 *)