diff --git a/optional_gui/ispin.tcl b/optional_gui/ispin.tcl
index 0008c12..a2f50ac 100755
--- a/optional_gui/ispin.tcl
+++ b/optional_gui/ispin.tcl
@@ -16,7 +16,7 @@ set version "Spin Version unknown";   # updated below
 set Unix 1;                           # updated below
 
 ### Tools
-	set SPIN    spin   ;# essential
+	set SPIN    "C:\Users\MBM info\Documents\Insat\spin.exe\spin"   ;# essential
 	set CC      gcc    ;# essential
 	set DOT     dot    ;# recommended, for automata view
 #	set DOT     "C:/Program\ Files\ \(x86\)/Graphviz2.36/bin/dot"