diffblue · kroening · Aug 16, 2018 · Aug 15, 2018
@@ -69,7 +69,6 @@ set_target_properties(
     langapi
     linking
     miniBDD
-    mmcc
     pointer-analysis
     solvers
     test-bigint

@@ -91,7 +91,6 @@ add_subdirectory(jsil)
 add_subdirectory(json)
 add_subdirectory(langapi)
 add_subdirectory(linking)
-add_subdirectory(memory-models)
 add_subdirectory(pointer-analysis)
 add_subdirectory(solvers)
 add_subdirectory(util)

@@ -14,7 +14,6 @@ DIRS = analyses \
        json \
        langapi \
        linking \
-       memory-models \
        pointer-analysis \
        solvers \
        util \
-Original file line number
+Diff line change
@@ Expand Up / @@ -69,7 +69,6 @@ set_target_properties( @@
         langapi
         linking
         miniBDD
-        mmcc
         pointer-analysis
         solvers
         test-bigint
@@ Expand Down @@