Merge pull request souffle-lang#606 from mmcgr/tidy

Remove obsolete file and redundant local test
superr4y · Mar 6, 2018 · 180c7bb · 180c7bb
2 parents 888d159 + 9b6d38f
commit 180c7bb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 181 deletions.
diff --git a/src/AutoIndex.cpp b/src/AutoIndex.cpp
diff --git a/tests/testsuite.at b/tests/testsuite.at
@@ -182,10 +182,10 @@ m4_define([NEGATIVE_TEST],[
 dnl Defines most relevant Souffle flag configurations for testing.
 dnl NOTE: This is the default configuration that can be overridden
 dnl using SOUFFLE_CONFS environment variable.
-m4_define([DEFAULT_CONFS], [[],     dnl run interpreter
+m4_define([DEFAULT_CONFS], [[],      dnl run interpreter
   [-c],                              dnl compile, then execute
   [-j8],                             dnl run interpreter in parallel
-  [-c -j8],                          dnl compile, then execute in parallel
+  [-c -j8]                           dnl compile, then execute in parallel
 ])
 
 dnl Store user-defined souffle flag configuration given by the SOUFFLE_CONFS env (if any)