diff --git a/ivette/Makefile b/ivette/Makefile
index 88a7789a773966897b01070db15399fcb2efffff..2601733f199ee3904aa2af15c52fed2ea13b8cd0 100644
--- a/ivette/Makefile
+++ b/ivette/Makefile
@@ -2,7 +2,7 @@
 APP=Ivette
 DOME=./src/dome
 DOME_ARGS=--command ./$$(dirname $$0)/../../bin/frama-c
-DOME_DEV=-server-debug 2
+DOME_DEV=-server-debug 1
 DOME_CLI=./bin/frama-c-gui
 DOME_API=./src/frama-c
 COPYRIGHT=CEA LIST / LSL