Updated example changed after PR #356

gap-system · Jan 17, 2016 · f258088 · f258088
1 parent 4851f0d
commit f258088
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/ref/types.xml b/doc/ref/types.xml
@@ -473,7 +473,7 @@ means to set the values of <A>prop1</A> and <A>prop2</A> to <K>true</K> for this
 <P/>
 <Example><![CDATA[
 gap> prop:= IsFinite and IsCommutative;
-<Property "<<and-filter>>">
+<Property "(IsFinite and IsCommutative)">
 gap> g:= Group( (1,2,3), (4,5) );;
 gap> Tester( prop )( g );
 false