Skip to content

Commit 52fd123

Browse files
authored
Update README.md
1 parent cb37380 commit 52fd123

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,7 @@ java -jar ARCODE_JAR_FILE -framework FRAMEWORK_OF_INTEREST -fspecOutputPath PATH
4444
- **PATH_TO_FRAMEWORK_JAR_FILE:** Path to jar file of the framework of interest.
4545
- **PACKAGE_NAME_OF_FRAMEWORK:** Since there might be more than one framework in a jar file, we introduce the packaging of the framework through this property. For instance, in case of JAAS framework, this package would be javax/security/auth. Also, framework package for RMI would be java/rmi.
4646

47-
## Running the tool on a Windoes-based machine
47+
## Running the tool on a Windows-based machine
4848
Assuming that you are using a Windows-based machine, here are the steps you need to follow to be able to run the tool for JAAS framework:
4949
1. Cloning the source code in a path (e.g. on drive D):
5050
```

0 commit comments

Comments
 (0)