diff --git a/src/cmp/cmpenv-proclaim.lsp b/src/cmp/cmpenv-proclaim.lsp
index 2d955b1e7c39fe94823c4d4f71cacc6a53e41d7c..e60cd6a76c37385c46a1bb010254a87f5e39834c 100644
--- a/src/cmp/cmpenv-proclaim.lsp
+++ b/src/cmp/cmpenv-proclaim.lsp
@@ -48,7 +48,9 @@
                  (SAFETY (setq *safety* (second x)))
                  (SPACE (setq *space* (second x)))
                  (SPEED (setq *speed* (second x)))
-                 (COMPILATION-SPEED (setq *speed* (- 3 (second x))))
+                 (COMPILATION-SPEED
+                  ;; FIXME! This proclamation is ignored
+                  )
                  (t (warn "The OPTIMIZE quality ~s is unknown." (car x)))))))
     (TYPE
      (if (consp (cdr decl))