Commit 8e0506bc authored by Frontull Samuel's avatar Frontull Samuel
Browse files

newline

parent d0a4d58d
......@@ -508,7 +508,7 @@ let rec _simulate_lterm_in_trs lterm trs =
let trs'_lterm = trs_to_term trs' in
let alpha_eq = default_names trs'_lterm = default_names lterm' in
let str =
"+++++ REDUCTION STEP @" ^ pos ^ " +++++\n\n" ^ l_term_to_string lterm
"\n+++++ REDUCTION STEP @" ^ pos ^ " +++++\n\n" ^ l_term_to_string lterm
^ "\n->" ^ pos ^ "\n" ^ l_term_to_string lterm' ^ "\n\n"
^ trs_term_to_string_nopos (trs_term trs)
^ "\n->" ^ pos ^ "\n"
......
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