Repair formatting for clang-format.

Mark R. Tuttle · Mark R. Tuttle · commit 78a1bb0c5ef8 · 2019-10-18T12:48:16.000-04:00
diff --git a/src/goto-symex/symex_complexity_limit_exceeded_action.h b/src/goto-symex/symex_complexity_limit_exceeded_action.h
@@ -18,7 +18,9 @@ class symex_complexity_limit_exceeded_actiont
   {
     current_state.reachable = false;
   }
-  virtual ~symex_complexity_limit_exceeded_actiont() {}
+  virtual ~symex_complexity_limit_exceeded_actiont()
+  {
+  }
 };
 
 #endif // CPROVER_GOTO_SYMEX_SYMEX_COMPLEXITY_LIMIT_EXCEEDED_ACTION_H

Original file line number	Diff line number	Diff line change
`@@ -18,7 +18,9 @@ class symex_complexity_limit_exceeded_actiont`
`18`	`18`	`{`
`19`	`19`	`current_state.reachable = false;`
`20`	`20`	`}`
`21`		`- virtual ~symex_complexity_limit_exceeded_actiont() {}`
	`21`	`+ virtual ~symex_complexity_limit_exceeded_actiont()`
	`22`	`+ {`
	`23`	`+ }`
`22`	`24`	`};`
`23`	`25`
`24`	`26`	`#endif // CPROVER_GOTO_SYMEX_SYMEX_COMPLEXITY_LIMIT_EXCEEDED_ACTION_H`