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