From 0a54377aa418711dc8ca287a498ea91d14fa186c Mon Sep 17 00:00:00 2001
From: Satya Prakash Nayak <sanayak@mpi-sws.org>
Date: Sat, 4 Feb 2023 09:27:03 +0000
Subject: [PATCH] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 11cab07..284f8b6 100644
--- a/README.md
+++ b/README.md
@@ -17,7 +17,7 @@ The executable files are generated and stored in the folder `./tool/bin/`. Usage
 
 `GIST` computes sufficient and implementable assumptions for parity games using the algorithm given in the paper "Environment assumptions for synthesis" by Chatterjee et al. It requires one command-line argument which is a filename that contains description of a parity game in pgsolver format; and outputs the assumptions to stdout.
 
-`hoa2pg.o` converts a parity game in extended HOA format to pgsolver format. It requires one stdin input which is the description of a parity game in extended HOA format; and outputs the game in pgsolver format to stdout.
+`hoa2pg` converts a parity game in extended HOA format to pgsolver format. It requires one stdin input which is the description of a parity game in extended HOA format; and outputs the game in pgsolver format to stdout.
 
 ## Reproducibility Instructions
 The experimental results of our paper can be reproduced using the following commands.
-- 
GitLab