From 35eaf554a488d674c1d52638386ffb5ba767dade Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= <arpl@cs.stanford.edu>
Date: Fri, 17 Jan 2025 15:20:00 -0800
Subject: [PATCH] Fix typo in warning message

---
 pono.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pono.cpp b/pono.cpp
index 2547db15..57e13d33 100644
--- a/pono.cpp
+++ b/pono.cpp
@@ -270,7 +270,7 @@ int main(int argc, char ** argv)
         // once state variables removed by COI are removed from init then should
         // do static-coi BEFORE mod-init-prop
         logger.log(0,
-                   "Warning: --mod-init-prop and --static-coi don't work "
+                   "Warning: --pseudo-init-prop and --static-coi don't work "
                    "well together currently.");
       }
     }