let top_states ast = StateSet.elements ast.top
-let bot_states ast = ast.bottom
+let top_states_s ast = ast.top
+
+let bot_states_s ast = ast.bottom
let selec_states ast = ast.selec
print_box_list asta.trans_q;
Format.fprintf fmt "@[<v 0># Recognizing transitions:@ %a@]"
print_box_list asta.trans_r in
- Format.fprintf fmt "@[<v 1>##### ASTA #####@, %a@ @]@." print_box 0
+ Format.fprintf fmt "@[<v 1>##### ASTA #####@. %a@ @]@." print_box 0
let to_file out asta = ()