[userman] little-endian

src/plugins/e-acsl/doc/userman/limitations.tex

@@ -130,7 +130,7 @@ A violation of such an annotation $a$ is undetected. There is no workaround yet.
 Also, the option \optionuse{-}{e-acsl-check} does not verify the annotations of
 undefined functions. There is also no workaround yet.
 
-\section{Recursive Function}
+\section{Recursive Functions}
 \index{Function!Recursive}
 
 Programs containing recursive functions have the same limitations as the ones
@@ -185,3 +185,5 @@ correctly.
 recent and presently has very limited support for 32-bit architectures.  When
 using a 32-bit machine we recommend using the bittree-based memory model
 instead.
+
+This library also assumes a little-endian architecture.