From 2555a835b2a64653645e0592ecdf204e5fb82ac7 Mon Sep 17 00:00:00 2001 From: Regis Blanc <regwblanc@gmail.com> Date: Mon, 20 Jul 2015 18:02:00 +0200 Subject: [PATCH] fix doc --- doc/xlang.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/xlang.rst b/doc/xlang.rst index e58675563..b3236443f 100644 --- a/doc/xlang.rst +++ b/doc/xlang.rst @@ -12,7 +12,7 @@ the option, Leon will reject any program making use of an XLang feature. Technically, these extensions are implemented using a translation to :ref:`Pure Scala <purescala>`. This means They are not implemented in the back-end -solving system of Leon, but parsed in the the front-end and eliminate early +solving system of Leon, but parsed in the the front-end and eliminated early during the Leon pipelining process. Imperative Code -- GitLab