From a5c951798cf387d35205fc4420ef9bb7177812ff Mon Sep 17 00:00:00 2001 From: Christophe Pradal Date: Wed, 1 Aug 2018 07:14:13 -0500 Subject: [PATCH] Fix doc syntax math -> match --- doc/user/subtelties.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/user/subtelties.rst b/doc/user/subtelties.rst index 5bdb3329..37ba7fda 100644 --- a/doc/user/subtelties.rst +++ b/doc/user/subtelties.rst @@ -68,7 +68,7 @@ The ``sproduce`` function makes it possible to produce modules generated algorit m = ParamModule('toto') sproduce (Lstring([m])) -Advantage is that modules can be created on the fly. However, if you then try to math the produced module with +Advantage is that modules can be created on the fly. However, if you then try to match the produced module with rules such as the following one, it may not work.:: toto --> F @@ -90,4 +90,4 @@ Thus the rule:: toto --> F -will be correctly interpreted as one module toto being transformed into one F. \ No newline at end of file +will be correctly interpreted as one module toto being transformed into one F.