[doc] md.texi -- "trap" is no longer used by the Java front end

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

[doc] md.texi -- "trap" is no longer used by the Java front end

Gerald Pfeifer
Applied.

Gerald

2017-01-03  Gerald Pfeifer  <[hidden email]>

        * doc/md.texi (Standard Names): Remove reference to Java frontend.

Index: doc/md.texi
===================================================================
--- doc/md.texi (revision 244022)
+++ doc/md.texi (working copy)
@@ -6534,8 +6534,7 @@
 @cindex @code{trap} instruction pattern
 @item @samp{trap}
 This pattern, if defined, signals an error, typically by causing some
-kind of signal to be raised.  Among other places, it is used by the Java
-front end to signal `invalid array index' exceptions.
+kind of signal to be raised.
 
 @cindex @code{ctrap@var{MM}4} instruction pattern
 @item @samp{ctrap@var{MM}4}