From 3821be4b7fc3d37a3421dbe8d1967fd28279c77f Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Tue, 16 Oct 2018 11:05:29 -0700 Subject: [PATCH] [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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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(); }