From 2958490882c3fd28dbb4ee80dfa6ef118312f7e0 Mon Sep 17 00:00:00 2001
From: Ethan Lew <elew@galois.com>
Date: Sun, 14 Apr 2024 09:13:49 -0700
Subject: [PATCH] fix import in notebook to reflect new refactoring

---
 notebooks/Koopman-Symbolic.ipynb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/notebooks/Koopman-Symbolic.ipynb b/notebooks/Koopman-Symbolic.ipynb
index 622da2f..68d6627 100644
--- a/notebooks/Koopman-Symbolic.ipynb
+++ b/notebooks/Koopman-Symbolic.ipynb
@@ -118,7 +118,7 @@
     "exprs = fhn._exprs\n",
     "x0, x1 = variables\n",
     "basis = generate_monomials(variables, 2)[1:]\n",
-    "lie_obs = ak.core.observables.SymbolicObservable(variables, obs(exprs, basis, variables))"
+    "lie_obs = ak.observable.SymbolicObservable(variables, obs(exprs, basis, variables))"
    ]
   },
   {