Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit 1c0ee079 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

sparse_array does not use ref.Ref anymore

parent 5fb4faa1
......@@ -21,7 +21,6 @@ back +-+-+-+-------------------+
use import int.Int
use import module ref.Ref
use import module array.Array as A
logic maxlen : int = 1000
......@@ -136,6 +135,6 @@ end
Local Variables:
compile-command: "unset LANG; make -C ../.. examples/programs/vacid_0_sparse_array"
compile-command: "unset LANG; make -C ../.. examples/programs/vacid_0_sparse_array.gui"
Markdown is supported
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