Remove toplevel Typ.t

o1-labs · Nov 20, 2024 · ceff573 · ceff573
1 parent 73dd6c5
commit ceff573
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/base/typ.ml b/src/base/typ.ml
@@ -463,5 +463,3 @@ module Make (Checked : Checked_monad) = struct
 
   include T
 end
-
-include Make (Checked_runner.Simple)