1 files changed, 1 insertions, 0 deletions
diff --git a/test/regression/2015-08-30-sdiv-1.c b/test/regression/2015-08-30-sdiv-1.c
index 2b819aea..5fa407f3 100644
--- a/test/regression/2015-08-30-sdiv-1.c
+++ b/test/regression/2015-08-30-sdiv-1.c
@@ -9,6 +9,7 @@
  */
 #include "klee/klee.h"
 #include <stdint.h>
+
 int main() {
   int32_t dividend;
   klee_make_symbolic(&dividend, sizeof dividend, "Dividend");