diff --git a/src/test/dl_table.cpp b/src/test/dl_table.cpp
index 326be5d04..8eb864f7b 100644
--- a/src/test/dl_table.cpp
+++ b/src/test/dl_table.cpp
@@ -1,8 +1,6 @@
 /*++
 Copyright (c) 2015 Microsoft Corporation
 --*/
-#if defined(_WINDOWS) || defined(_CYGWIN)
-
 #include "muz/base/dl_context.h"
 #include "muz/rel/dl_table.h"
 #include "muz/fp/dl_register_engine.h"
@@ -98,7 +96,3 @@ void test_dl_bitvector_table() {
 void tst_dl_table() {
     test_dl_bitvector_table();
 }
-#else
-void tst_dl_table() {
-}
-#endif