[pulse] fix compilation error in test

Summary: woopsie

Reviewed By: da319

Differential Revision: D10406807

fbshipit-source-id: ebbd0812f

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(); }