Commit cf57997c authored by MARCHE Claude's avatar MARCHE Claude
Browse files

fix bug 11800

parent 32f90012
......@@ -15,4 +15,4 @@ make install-lib (as root)
For detailed instructions and required dependencies, please see
the manual (doc/manual.pdf), Chapter 7.
\ No newline at end of file
the manual (doc/manual.pdf), Section 6.1 "Compilation, Installation".
\ No newline at end of file
......@@ -2,7 +2,7 @@ module M
use import int.Int
use import module stdlib.Ref
(* preliminaries *)
use array.Array as A
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment