Rudy Ges 1 anno fa
parent
commit
dbd1551148
1 ha cambiato i file con 1 aggiunte e 1 eliminazioni
  1. 1 1
      src/typing/generic.ml

+ 1 - 1
src/typing/generic.ml

@@ -231,7 +231,7 @@ let build_instances ctx t p =
 	loop t
 
 
-let rec build_generic_class ctx c p tl =
+let build_generic_class ctx c p tl =
 	let pack = fst c.cl_path in
 	let recurse = ref false in
 	let rec check_recursive t =