diff --git a/src/ui/JToolBarMainTurtle.java b/src/ui/JToolBarMainTurtle.java
index 275073a4e53a08d38da1a0b922dc72a7bdda5ece..24dd2051578cf964488517c65ecfcdd687a0c66d 100755
--- a/src/ui/JToolBarMainTurtle.java
+++ b/src/ui/JToolBarMainTurtle.java
@@ -268,7 +268,7 @@ public	class JToolBarMainTurtle extends JToolBar	{
 			 avatarFVProVerif.setVisible(b);
 		 }
 		 //avatarFVStaticAnalysis.setVisible(b);
-		 avatarFVStaticAnalysis.setVisible(false);
+		 avatarFVStaticAnalysis.setVisible(b);
 		 avatarCodeGeneration.setVisible(b);
 		 
 		 if (genrtlotos != null) {