From 8521d2caaaa2ab2b305978d133da86cf8368d95e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 18 Dec 2020 14:38:42 -0800
Subject: [PATCH] check engine configuration for unsupported engines #4898

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/muz/base/dl_context.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

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;