Fix "--include" typo (#89)

fix typo
dafny-lang · Feb 17, 2023 · ba3f387 · ba3f387
1 parent bcfdb2f
commit ba3f387
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/FileIO/README.md b/src/FileIO/README.md
@@ -18,13 +18,13 @@ For example, to run a `Program.dfy` file that depends on the `FileIO` module, ru
 
 ```bash
 # C#/.NET
-$ dafny run Program.dfy --include libraries/src/FileIO/FileIO.cs
+$ dafny run Program.dfy --input libraries/src/FileIO/FileIO.cs
 
 # Java
-$ dafny run Program.dfy --target:java --include libraries/src/FileIO/FileIO.java
+$ dafny run Program.dfy --target:java --input libraries/src/FileIO/FileIO.java
 
 # Javascript
-$ dafny run Program.dfy --target:js --include libraries/src/FileIO/FileIO.js
+$ dafny run Program.dfy --target:js --input libraries/src/FileIO/FileIO.js
 ```
 
 (If you aren't using `dafny run` to run your program,