diff --git a/src/exp.ml b/src/exp.ml
index 2aa2cb23..80edea6b 100644
--- a/src/exp.ml
+++ b/src/exp.ml
@@ -780,13 +780,6 @@ and of_match :
                    new_typ_vars |> List.filter_map (fun (name, ki) -> if ki = Kind.Tag then Some name else None) in
                  VarEnv.keep_only (free_vars @ tag_vars) new_typ_vars in
 
-             print_string @@ "New_typ_vars:";
-             print_string @@ VarEnv.to_string new_typ_vars;
-             print_string @@ "\n";
-             print_string @@ "Bound Vars:";
-             print_string @@ VarEnv.to_string new_typ_vars;
-             print_string @@ "\n";
-
              let* bound_vars = Monad.List.map (fun (x,ty) ->
                  let* ty = Type.decode_var_tags new_typ_vars false ty in
                  return (x, ty)
diff --git a/src/type.ml b/src/type.ml
index 85fb31c0..ebe0d2b8 100644
--- a/src/type.ml
+++ b/src/type.ml
@@ -924,14 +924,12 @@ let rec decode_var_tags_aux
   let dec = decode_var_tags_aux typ_vars in_native is_tag in
   match typ with
   | Variable name ->
-    print_string ("decoding: " ^ Name.to_string name ^ "\n");
     begin
       if is_tag || in_native
-      then (print_string "is_tag || in_native\n"; return typ)
-      else (print_string @@ "checking env for " ^ Name.to_string name ^ "\n";
-              match List.assoc_opt name typ_vars with
-              | Some Kind.Tag -> return @@ Apply (MixedPath.dec_name, [(typ, true)])
-              | _ -> return typ)
+      then return typ
+      else match List.assoc_opt name typ_vars with
+        | Some Kind.Tag -> return @@ Apply (MixedPath.dec_name, [(typ, true)])
+        | _ -> return typ
     end
   | Arrow (t1, t2) ->
     let* t1 = decode_var_tags_aux typ_vars in_native is_tag t1 in