From 65a0aa7352f5f9c81d2d359624b2fdc010cf096e Mon Sep 17 00:00:00 2001
From: mouhebbenchiekh <48447027+mouhebbenchiekh@users.noreply.github.com>
Date: Tue, 24 Nov 2020 23:57:39 +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..3815769 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