diff --git a/infer/tests/codetoanalyze/cpp/pulse/vector.cpp b/infer/tests/codetoanalyze/cpp/pulse/vector.cpp
index b7634275b..d05ea203c 100644
--- a/infer/tests/codetoanalyze/cpp/pulse/vector.cpp
+++ b/infer/tests/codetoanalyze/cpp/pulse/vector.cpp
@@ -14,4 +14,4 @@ void FN_deref_vector_element_after_lifetime_bad() {
   std::cout << *y << "\n";
 }
 
-int main() { deref_vector_element_after_lifetime(); }
+int main() { FN_deref_vector_element_after_lifetime_bad(); }