rm core.poly

metrumresearchgroup · Dec 24, 2023 · 30800c9 · 30800c9
1 parent 13d87cf
commit 30800c9
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/middle/Torsten.ml b/src/middle/Torsten.ml
@@ -1,7 +1,5 @@
 open Core
 
-open Core.Poly
-
 (* old ODE RHS def *)
 let pmx_ode_func =
   [ ( UnsizedType.AutoDiffable