From 2313962c46d2a9880e8d115f8d47e5f240306508 Mon Sep 17 00:00:00 2001
From: Jason Park <mellowcroc@gmail.com>
Date: Thu, 16 Jan 2025 16:08:49 +0000
Subject: [PATCH] doc: update README

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

diff --git a/README.md b/README.md
index 897a806..a70d17a 100644
--- a/README.md
+++ b/README.md
@@ -88,6 +88,7 @@ Additional args:
 - `--layout`
 - `--prover_config_file`
 - `--parameter_file`
+- `--ignore_fact_topologies`
 
 ### Verify