fix spacing with make tabbing
[satcheck.git] / params.h
index 31e92672a73f573fe0c28898ba331382dd0b38c2..78cedcbc1d925249f9dbd43158109ab67d3c36e5 100644 (file)
--- a/params.h
+++ b/params.h
@@ -23,7 +23,7 @@ struct model_params {
 
        /** @brief Only explore branches. */
        bool branches;
-       
+
        /** @brief Command-line argument count to pass to user program */
        int argc;
 
@@ -31,4 +31,4 @@ struct model_params {
        char **argv;
 };
 
-#endif /* __PARAMS_H__ */
+#endif/* __PARAMS_H__ */