Remove headers to keep include-what-you-use happy

martin-cs · Sep 9, 2023 · bffd94f · bffd94f
1 parent e0e9bde
commit bffd94f
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/pointer-analysis/show_value_sets.cpp b/src/pointer-analysis/show_value_sets.cpp
@@ -12,9 +12,6 @@ Author: Daniel Kroening, [email protected]
 #include "show_value_sets.h"
 #include "value_set_analysis.h"
 
-#include <goto-programs/goto_model.h>
-
-#include <util/invariant.h>
 #include <util/xml.h>
 
 #include <iostream>