Skip to content
Snippets Groups Projects
Commit 2555a835 authored by Regis Blanc's avatar Regis Blanc
Browse files

fix doc

parent a737be97
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
doc/xlang.rst
+ 1
− 1
View file @ 2555a835
......@@ -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
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment