Update README.md

georgejkaye · Jul 28, 2017 · b11e03e · b11e03e
1 parent 9e39eff
commit b11e03e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -26,7 +26,7 @@ Initial expression is SATISFIABLE
 ```
 
 ## Source code and test cases
-Source code can be found at ```src/reasoning```. There are also a number of test cases at ```src\test```. 
+Source code can be found at ```/src/reasoning```. There are also a number of test cases at ```/src/test```. 
 
 ## Modes
 ### Clause Normal Form conversion