From bf282b05c8f522e7ac1e739a7abdaa7073565a31 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 31 Jul 2022 18:40:59 +0300
Subject: [PATCH] fix #6213

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/test/dl_product_relation.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/test/dl_product_relation.cpp b/src/test/dl_product_relation.cpp
index 9d841e421..942714560 100644
--- a/src/test/dl_product_relation.cpp
+++ b/src/test/dl_product_relation.cpp
@@ -351,6 +351,7 @@ namespace datalog {
 
 using namespace datalog;
 
+#ifdef _WINDOWS
 void tst_dl_product_relation() {
     smt_params fparams;
     params_ref params;
@@ -361,3 +362,7 @@ void tst_dl_product_relation() {
     test_finite_product_relation(fparams, params);
     
 }
+#else
+void tst_dl_product_relation() {}
+
+#endif