old dominates form produces an error, not a warning

diff --git a/docs/dist/doc/porting.html b/docs/dist/doc/porting.html
index ba9350b8af671d420358a4dcedb9808e4a319102..978ed3ee6d1db611f14a3c6b5e7be90fa2c6848a 100644 (file)
--- a/docs/dist/doc/porting.html
+++ b/docs/dist/doc/porting.html
@@ -90,9 +90,9 @@ represented as such in bytecode form).  Because
 they might be used in declare error or declare warning
 statements, which might produce different results.
 <p>
-The compiler will report a warning that
+The compiler will report an error that
 the form <code>aspect {name} dominates {list}...</code>
-is deprecated.  It has
+is no longer supported.  It has
 been replaced by a new declare statement:
 <pre>
 declare precedence : {name} {list}...