Fonction `rev_cond_gen` manquante

Dans sasa-rdbg-cmds.ml, il semblerait qu'il manque la fonction rev_cond_gen. Cela empèche de lancer rdbg avec sasa. J'ai vu ce nom de fonction dans tools/rdbg4sasa/gtkgui.ml et tools/rdbg4sasa/sasa-rdbg-cmds.ml, et nulle part d'autre. Aucun des deux fichiers n'a de déclaration de la fonction.

J'ai remarqué le bug dans cc029128, peut-être que le problème viens d'avant.

Voici un exemple d'exécution :

ledit rdbg -l 100000 0 --sasa --missing-vars-last -env "sasa ring2.dot --replay -custd"
Enter one of the following key (the first is the default one):
 [] create a fresh session
 [q] quit

[/q]: 
Reading my-rdbg-tuning.ml..
nb: some messages are written to the rdbg.log file
--> type 'l' to obtain the list of Level 0 commands
    or type 'h' to get a short manual
(rdbg) 
Error 3: '
File "/home/username/.opam/ocaml-base-compiler.4.12.0/lib/sasa/sasa-rdbg-cmds.ml", line 169, characters 10-22:
169 |   let e = rev_cond_gen e (fun ne -> ne.kind = e.kind && ne.name = e.name)
                ^^^^^^^^^^^^
Error: Unbound value rev_cond_gen
Hint: Did you mean next_cond_gen?

An error occured when reading the my-rdbg-tuning.ml file
cf "rdbg.log" for more messages
'
Bye