diff --git a/ide/include/ide.inc b/ide/include/ide.inc
index 1a7ea55557..9a3da73ea0 100644
--- a/ide/include/ide.inc
+++ b/ide/include/ide.inc
@@ -19,12 +19,12 @@
  ***************************************************************************
 }
 
-{$DEFINE IDE_VERBOSE}
+{ $DEFINE IDE_VERBOSE}
 
 // !!! if you change this flag, you have to make cleanide !!!
 { $DEFINE IDE_MEM_CHECK}
 
-{$DEFINE IDE_DEBUG}
+{ $DEFINE IDE_DEBUG}
 
 // end.