From 3e90ba0ec4e86251ddc7a1376f9c681eb86bb4e0 Mon Sep 17 00:00:00 2001
From: mouhebbenchiekh <48447027+mouhebbenchiekh@users.noreply.github.com>
Date: Wed, 25 Nov 2020 16:11:11 +0100
Subject: [PATCH] Update ispin.tcl

---
 optional_gui/ispin.tcl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/optional_gui/ispin.tcl b/optional_gui/ispin.tcl
index 0008c12..04ba419 100755
--- a/optional_gui/ispin.tcl
+++ b/optional_gui/ispin.tcl
@@ -18,8 +18,8 @@ set Unix 1;                           # updated below
 ### Tools
 	set SPIN    spin   ;# essential
 	set CC      gcc    ;# essential
-	set DOT     dot    ;# recommended, for automata view
-#	set DOT     "C:/Program\ Files\ \(x86\)/Graphviz2.36/bin/dot"
+#	set DOT     dot    ;# recommended, for automata view
+ 	set DOT     "C:\Users\MBM info\Documents\Insat\Graphviz\bin\dot"
 	set SWARM   swarm  ;# optional, for swarm verification panel
 	set CURL    curl   ;# optional, for version check information