diff --git a/src/muz/base/dl_context.cpp b/src/muz/base/dl_context.cpp
index 6d69db163..5670bb8d2 100644
--- a/src/muz/base/dl_context.cpp
+++ b/src/muz/base/dl_context.cpp
@@ -825,6 +825,12 @@ namespace datalog {
         else if (e == symbol("ddnf")) {
             m_engine_type = DDNF_ENGINE;
         }
+        else if (e == symbol("auto-config")) {
+            
+        }
+        else {
+            throw default_exception("unsupported datalog engine type");
+        }
 
         if (m_engine_type == LAST_ENGINE) {
             expr_fast_mark1 mark;