# HG changeset patch
# User ballarin
# Date 1141039221 -3600
# Node ID 990f59414e344c4a3ea7c7ef74385ab8965a9704
# Parent  9c8793c62d0c63f4278ea18db1ba95c540d6790a
Typo.

diff -r 9c8793c62d0c -r 990f59414e34 doc-src/IsarRef/generic.tex
--- a/doc-src/IsarRef/generic.tex	Mon Feb 27 12:14:36 2006 +0100
+++ b/doc-src/IsarRef/generic.tex	Mon Feb 27 12:20:21 2006 +0100
@@ -430,7 +430,7 @@
 \item [$\isarcmd{print_interps}~loc$]
   prints the interpretations of a particular locale $loc$ that are
   active in the current context, either theory or proof context.  The
-  exclamation point argument causes triggers printing of
+  exclamation point argument triggers printing of
   \emph{witness} theorems justifying interpretations.  These are
   normally omitted from the output.