diff --git a/doc/arm/Bv9ARM-book.xml b/doc/arm/Bv9ARM-book.xml index 0b144452fe..04b386ea5c 100644 --- a/doc/arm/Bv9ARM-book.xml +++ b/doc/arm/Bv9ARM-book.xml @@ -18913,7 +18913,6 @@ allow-query { !{ !10/8; any; }; key example; }; -