1.1 --- a/src/Tools/isac/BaseDefinitions/termC.sml	Tue Aug 17 22:39:48 2021 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/termC.sml	Tue Aug 17 22:50:20 2021 +0200
     1.3 @@ -288,7 +288,7 @@
     1.4  val term_of_num = HOLogic.mk_number;
     1.5  fun num_of_term t = t |> HOLogic.dest_number |> snd;
     1.6  (* accomodate string-representation for int to term-orders *)
     1.7 -fun to_string t = t |> num_of_term |> LibraryC.string_of_int'
     1.8 +fun to_string t = t |> num_of_term |> signed_string_of_int
     1.9  
    1.10  fun is_const (Const _) = true | is_const _ = false;
    1.11  fun is_variable (t as Free _) = not (is_num t)