Cleanup invariants in printf_formatter

hannes-steffenhagen-diffblue · hannes-steffenhagen-diffblue · commit 24799bd4f892 · 2018-10-03T10:30:43.000+01:00
diff --git a/src/goto-programs/printf_formatter.cpp b/src/goto-programs/printf_formatter.cpp
@@ -11,7 +11,6 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include "printf_formatter.h"
 
-#include <cassert>
 #include <sstream>
 
 #include <util/c_types.h>
