From 018b94a0fb5f8bb281a6de3bd613615b570c35e8 Mon Sep 17 00:00:00 2001 From: bjorn Date: Fri, 25 Mar 2022 12:38:07 -0700 Subject: [PATCH] Update ODE to include header changes; --- deps/ode | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/ode b/deps/ode index b88f9adb..dd3e3fc1 160000 --- a/deps/ode +++ b/deps/ode @@ -1 +1 @@ -Subproject commit b88f9adb51152db0aa71a38ee2e4d8cc338374b5 +Subproject commit dd3e3fc1f16a6746c0bfaa343899cb3a418b0cab