From 936d303f5d3d6e59ec045da8678ea6ee7cead122 Mon Sep 17 00:00:00 2001
From: lantz <rlantz@cs.stanford.edu>
Date: Tue, 22 Nov 2022 16:36:30 -0800
Subject: [PATCH] Update INSTALL

closes #1144
---
 INSTALL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL b/INSTALL
index cb0943d..7fbf968 100644
--- a/INSTALL
+++ b/INSTALL
@@ -124,7 +124,7 @@ like to contribute an installation script, we would welcome it!)
 
    Whichever version was installed last will be the default for `mn`.
    As long as Mininet is installed for the appropriate version of
-   Python, you can run it using that versinon of Python:
+   Python, you can run it using that version of Python:
 
        python3 `which mn`
        python2 `which mn`