diff --git a/v2/doc/src/advanced.xml b/v2/doc/src/advanced.xml index 868893904..967029076 100644 --- a/v2/doc/src/advanced.xml +++ b/v2/doc/src/advanced.xml @@ -133,9 +133,9 @@ a = $(b) $(c) ; rule example ( parameter1 : - parameter2 ? : - parameter3 + : - parameter4 * + parameter2 ? : + parameter3 + : + parameter4 * ) { // body