From 705569df24914e05361be18813c4c213fb13cf87 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 1 Jun 2026 11:39:18 -0700 Subject: [PATCH] add include directive --- src/test/dl_util.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/test/dl_util.cpp b/src/test/dl_util.cpp index 57eaac76e..497298094 100644 --- a/src/test/dl_util.cpp +++ b/src/test/dl_util.cpp @@ -4,6 +4,7 @@ Copyright (c) 2015 Microsoft Corporation --*/ +#include "util/gparams.h" #include "muz/base/dl_util.h" using namespace datalog;