Une nouvelle version du portail de gestion des comptes externes sera mise en production lundi 09 août. Elle permettra d'allonger la validité d'un compte externe jusqu'à 3 ans. Pour plus de détails sur cette version consulter : https://doc-si.inria.fr/x/FCeS

Commit dd17fa7b authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Remove [Invariant.print], now unused.

parent 0f53d19a
......@@ -476,14 +476,6 @@ let fold_top f accu w =
| (symbol, states) :: _ ->
f (representeds states) symbol
let print (w : word) =
let b = Buffer.create 64 in
fold (fun () _represented symbol _states ->
Buffer.add_char b ' ';
Buffer.add_string b (Symbol.print symbol)
) () w;
Buffer.contents b
(* ------------------------------------------------------------------------ *)
(* Explain how the stack should be deconstructed when an error is
found.
......
......@@ -50,11 +50,6 @@ val fold: ('a -> bool -> Symbol.t -> Lr1.NodeSet.t -> 'a) -> 'a -> word -> 'a
val fold_top: (bool -> Symbol.t -> 'a) -> 'a -> word -> 'a
(* [print w] produces a string representation of the word [w]. Only the
symbols are shown. One space is printed in front of each symbol. *)
val print: word -> string
(* ------------------------------------------------------------------------- *)
(* Information about the stack. *)
......
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