diff --git a/src/cli/z3ed.cc b/src/cli/z3ed.cc
index d0115b81..dea35527 100644
--- a/src/cli/z3ed.cc
+++ b/src/cli/z3ed.cc
@@ -60,7 +60,7 @@ void HelpCommand() {
 }
 
 int RunCommandHandler(int argc, char* argv[]) {
-  if (argv[1] == "-h" || argc == 1) {
+  if (std::strcmp(argv[1], "-h") == 0 || argc == 1) {
     HelpCommand();
     return EXIT_SUCCESS;
   }