From 1b91694d9b83167679b63124f36863da9fc55a3a Mon Sep 17 00:00:00 2001 From: Bruce Mitchener Date: Sun, 9 Dec 2018 21:02:06 +0700 Subject: [PATCH] Enable dl_table tests on non-Windows/Cygwin. --- src/test/dl_table.cpp | 6 ------ 1 file changed, 6 deletions(-) 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