1 files changed, 1 insertions, 1 deletions
diff --git a/README b/README
index 47707e9..3096bf6 100644
--- a/README
+++ b/README
@@ -16,4 +16,4 @@ Example
 
 A quick way to manually test Cuirass is to execute:
 
-  ./pre-inst-env cuirass --interval=10 tests/hello-subset.scm
+  ./pre-inst-env cuirass --one-shot tests/hello-subset.scm --database=test.db