From 30800c938deb42bbfa23556e7c7c1f164acfbb19 Mon Sep 17 00:00:00 2001
From: Yi Zhang <yzhang@c-path.org>
Date: Sun, 24 Dec 2023 00:28:45 -0800
Subject: [PATCH] rm core.poly

---
 src/middle/Torsten.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/middle/Torsten.ml b/src/middle/Torsten.ml
index 389a24df..a8c7236f 100644
--- 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