From cf08842e8ead869ebaa2070bdbbec40163aeec03 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Sat, 6 Feb 2021 18:03:00 +0100
Subject: Remove dreal

---
 Solvers/dreal4/bazel-bin/test/spdlog_test | Bin 327384 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100755 Solvers/dreal4/bazel-bin/test/spdlog_test

(limited to 'Solvers/dreal4/bazel-bin/test/spdlog_test')

diff --git a/Solvers/dreal4/bazel-bin/test/spdlog_test b/Solvers/dreal4/bazel-bin/test/spdlog_test
deleted file mode 100755
index 37be4b9f..00000000
Binary files a/Solvers/dreal4/bazel-bin/test/spdlog_test and /dev/null differ
-- 
cgit v1.2.3-70-g09d2