issue #2803: fix missing symbol

casadi · Jul 9, 2021 · 8d0f80a · 8d0f80a
1 parent 12fa60f
commit 8d0f80a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/casadi/core/casadi.def b/casadi/core/casadi.def
@@ -3,6 +3,7 @@ EXPORTS
     casadi_c_activate
     casadi_c_checkout
     casadi_c_checkout_id
+    casadi_c_clear
     casadi_c_decref
     casadi_c_decref_id
     casadi_c_default_in
@@ -34,4 +35,4 @@ EXPORTS
     casadi_c_sparsity_out
     casadi_c_sparsity_out_id
     casadi_c_work
-    casadi_c_work_id
+    casadi_c_work_id