Fixed typo in README.md

Bram-Hub · May 6, 2021 · 6eea495 · 6eea495
1 parent d99a2f0
commit 6eea495
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -59,7 +59,7 @@ The GUI contains the following components:
  - statement and conclusion lists
  - buttons for modifying premises / verifying resolution
  - a canvas to draw the resolution
- - clasue frames on the canvas
+ - clause frames on the canvas
  - separate windows displaying useful info
 
 The root window contains all of the other graphics of the application, and is created in the main appication class ResolutionGUI.