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;