1 files changed, 1 insertions, 3 deletions

diff --git a/other/analysis/run-infer b/other/analysis/run-infer
index 942d0cfd..2a897227 100755
--- a/other/analysis/run-infer
+++ b/other/analysis/run-infer
@@ -5,6 +5,4 @@ SKIP_LINES=1
 
 . other/analysis/gen-file.sh
 
-put auto_tests/lan_discovery_test.c
-
-infer -- clang -fsyntax-only test.c $CPPFLAGS
+infer -- clang++ -fsyntax-only amalgamation.cc $CPPFLAGS