1 files changed, 1 insertions, 2 deletions

diff --git a/configure b/configure
index 931db1d5..b743a79e 100755
--- a/configure
+++ b/configure
@@ -20780,8 +20780,7 @@ fi
 
 
 # FIXME: Move this out of here.
-# The core runtime is always built.
-axiom_c_runtime=core
+axiom_c_runtime=