Fix Makefile and CMakeLists formatting (@tautschnig)

hannes-steffenhagen-diffblue · hannes-steffenhagen-diffblue · commit e2e0989d6bd9 · 2019-05-13T18:41:39.000+01:00
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -104,5 +104,4 @@ add_subdirectory(goto-instrument)
 add_subdirectory(goto-analyzer)
 add_subdirectory(goto-diff)
 add_subdirectory(goto-harness)
-
 add_subdirectory(symtab2gb)
diff --git a/src/Makefile b/src/Makefile
@@ -19,9 +19,9 @@ DIRS = analyses \
        linking \
        pointer-analysis \
        solvers \
+       symtab2gb \
        util \
        xmllang \
-       symtab2gb \
        # Empty last line
 
 all: cbmc.dir \
