From c4366e57f89c9d31284e7305ce4890ef7e43540d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 1 Jun 2026 17:22:06 -0700
Subject: [PATCH] Update udoc_relation.cpp

---
 src/test/udoc_relation.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/test/udoc_relation.cpp b/src/test/udoc_relation.cpp
index ffe0d5d71..9805f6169 100644
--- a/src/test/udoc_relation.cpp
+++ b/src/test/udoc_relation.cpp
@@ -7,6 +7,7 @@ Copyright (c) 2015 Microsoft Corporation
 #include "muz/rel/udoc_relation.h"
 #include "util/trace.h"
 #include "util/vector.h"
+#include "util/gparams.h"
 #include "ast/ast.h"
 #include "ast/ast_pp.h"
 #include "ast/reg_decl_plugins.h"
@@ -35,6 +36,7 @@ class udoc_tester {
 
     struct init {
         init(ast_manager& m) {
+            gparams::set("fp.engine", "datalog");
             reg_decl_plugins(m);
         }
     };