--- a/src/asl/CMakeLists.txt	2019-02-07 22:45:15.191909400 -0600
+++ b/src/asl/CMakeLists.txt	2019-02-07 22:47:10.364936600 -0600
@@ -216,6 +216,11 @@ add_mp_library(asl-core OBJECT ${ASL_COR
   COMPILE_DEFINITIONS ${ASL_COMPILE_DEFINITIONS}
   INCLUDE_DIRECTORIES ${CMAKE_CURRENT_BINARY_DIR})
 
+if (MSVC)
+  set_source_files_properties(solvers/avltree.c solvers/sphes.c
+    PROPERTIES COMPILE_OPTIONS /Od)
+endif ()
+
 # Public ASL headers.
 set(ASL_HEADERS aslbuilder.h aslexpr.h aslexpr-visitor.h
   aslproblem.h aslinterface.h ${CMAKE_CURRENT_BINARY_DIR}/stdio1.h)