From 9c775fe21b6f50fa232ce2ce6ac7d49ed87de286 Mon Sep 17 00:00:00 2001
From: Vladimir Prus <ghost@cs.msu.su>
Date: Fri, 12 Aug 2005 09:27:44 +0000
Subject: [PATCH] Doc fix: fix space between parameter names and ?/+/*
 characters.

[SVN r30535]
---
 v2/doc/src/advanced.xml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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) ;</programlisting>
 rule <replaceable>example</replaceable> 
      (
          <replaceable>parameter1</replaceable> : 
-         <replaceable>parameter2</replaceable> <replaceable>?</replaceable> : 
-         <replaceable>parameter3</replaceable> <replaceable>+</replaceable> :
-         <replaceable>parameter4</replaceable> <replaceable>*</replaceable> 
+         <replaceable>parameter2 ?</replaceable> : 
+         <replaceable>parameter3 +</replaceable> :
+         <replaceable>parameter4 *</replaceable> 
      )
      {
         // body