From ea60a1ee4a7389dc9c2e0d5f46b9fd6293415cc2 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Sat, 27 Apr 2024 12:36:09 +0200 Subject: [PATCH] debug artefact --- lib/typeSubstitution.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/lib/typeSubstitution.ml b/lib/typeSubstitution.ml index 5e2aa4a..a15dfb0 100644 --- a/lib/typeSubstitution.ml +++ b/lib/typeSubstitution.ml @@ -39,7 +39,6 @@ let compose s2 s1 = s1 s2 in - print_endline "wow!"; merger ;;