- [] -> warn ("Tacticals.solve_tactics: " ^ descr ^ " solved the goal!!!");
-(* questo significa che non ci sono piu' goal, o che current_tactic non ne ha aperti di nuovi? (la 2a!) ##### *)
-(* nel secondo caso basta per dire che solve_tactics has solved the goal? (si!) *)
+ [] -> warn ("Tacticals.solve_tactics: " ^ descr ^
+ " solved the goal!!!");
+(* questo significa che non ci sono piu' goal, o che current_tactic non ne
+ ha aperti di nuovi? (la 2a!) #####
+ nel secondo caso basta per dire che solve_tactics has solved the goal? (si!) *)