DEBUG - testing cpplint action

tautschnig · tautschnig · commit c0c2159133a1 · 2021-03-15T11:02:54.000Z
diff --git a/src/assembler/remove_asm.cpp b/src/assembler/remove_asm.cpp
@@ -22,6 +22,8 @@ Date:   December 2014
 #include <goto-programs/goto_model.h>
 #include <goto-programs/remove_skip.h>
 
+#include <ansi-c/c_typecheck.h>
+
 #include "assembler_parser.h"
 
 class remove_asmt
