Skip to content

Commit 069e9e1

Browse files
nanocohnanocoh
authored
Fix typo in README command example
1 parent 5370d71 commit 069e9e1

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

‎example/README.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,5 +3,5 @@
33
## Instructions
44

55
```bash
6-
../build/src/bin/kepler_formal tinyrocket_naja.if tinyrocket_naja_edited_cp.if NangateOpenCellLibrary_typical.lib fakeram45_1024x32.lib fakeram45_64x32.lib
6+
../build/src/bin/kepler_formal tinyrocket_naja.if tinyrocket_naja_edited.if NangateOpenCellLibrary_typical.lib fakeram45_1024x32.lib fakeram45_64x32.lib
77
```

0 commit comments

Comments
 (0)