1.1 --- a/src/Tools/isac/BaseDefinitions/model-pattern.sml	Sun Apr 18 22:27:43 2021 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/model-pattern.sml	Sun Apr 18 23:37:59 2021 +0200
     1.3 @@ -17,11 +17,9 @@
     1.4  
     1.5    val variables: T -> term list
     1.6    val get_field: descriptor -> T -> m_field option
     1.7 -(* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *)
     1.8 +\<^isac_test>\<open>
     1.9    val to_string': T -> string
    1.10 -(*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
    1.11 -  (*NONE*)                                                                      
    1.12 -( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
    1.13 +\<close>
    1.14  end
    1.15  
    1.16  (**)
    1.17 @@ -40,8 +38,10 @@
    1.18  
    1.19  fun pat2str (field, (dsc, id)) = pair2str (field, pair2str (UnparseC.term dsc, UnparseC.term id));
    1.20  fun to_string pats = (strs2str o (map pat2str)) pats;
    1.21 +\<^isac_test>\<open>
    1.22  fun pat2str' (field, (dsc, id)) = pair2str (field, pair2str (UnparseC.term dsc, UnparseC.term id)) ^ "\n";
    1.23  fun to_string' pats = (strs2str o (map pat2str')) pats;
    1.24 +\<close>
    1.25  
    1.26  (* get the variables out of a pbl_; FIXME.WN.0311: is_copy_named ...obscure!!! *)
    1.27  fun variables pbl_ =