Clang-format main.cpp

souffle-lang · Jul 1, 2022 · 89c831c · 89c831c
1 parent 6adfee1
commit 89c831c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/main.cpp b/src/main.cpp
@@ -435,7 +435,8 @@ int main(int argc, char** argv) {
                 {"dl-program", 'o', "FILE", "", false,
                         "Generate C++ source code, written to <FILE>, and compile this to a "
                         "binary executable (without executing it)."},
-                {"emit-statistics", '\x9', "", "", false, "Enable collection of statistics for auto-scheduling"},
+                {"emit-statistics", '\x9', "", "", false,
+                        "Enable collection of statistics for auto-scheduling"},
                 {"live-profile", '\1', "", "", false, "Enable live profiling."},
                 {"profile", 'p', "FILE", "", false, "Enable profiling, and write profile data to <FILE>."},
                 {"profile-frequency", '\2', "", "", false, "Enable the frequency counter in the profiler."},