From 54228740ddbc87c05f1dddf8845b2f2aed6327e2 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Fri, 14 May 2021 03:07:02 -0700
Subject: [PATCH] [pulse] fix typo in test

Summary: Funny stuff.

Reviewed By: skcho

Differential Revision: D28411289

fbshipit-source-id: a9ad23551
---
 infer/tests/codetoanalyze/cpp/pulse/nullptr.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/tests/codetoanalyze/cpp/pulse/nullptr.cpp b/infer/tests/codetoanalyze/cpp/pulse/nullptr.cpp
index fd1045501..d52a8757f 100644
--- a/infer/tests/codetoanalyze/cpp/pulse/nullptr.cpp
+++ b/infer/tests/codetoanalyze/cpp/pulse/nullptr.cpp
@@ -34,7 +34,7 @@ struct X {
 bool choice();
 
 X* may_return_nullptr() {
-  if (choice) {
+  if (choice()) {
     return nullptr;
   }
   return new X();