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