equal
deleted
inserted
replaced
102 (if guilty_party = "" then |
102 (if guilty_party = "" then |
103 "" |
103 "" |
104 else |
104 else |
105 " of Kodkod relation associated with " ^ |
105 " of Kodkod relation associated with " ^ |
106 quote (original_name guilty_party)) ^ |
106 quote (original_name guilty_party)) ^ |
107 " too large for universe of cardinality " ^ |
107 " too large for a universe of size " ^ |
108 string_of_int univ_card) |
108 string_of_int univ_card) |
109 else |
109 else |
110 () |
110 () |
111 |
111 |
112 fun kk_tuple debug univ_card js = |
112 fun kk_tuple debug univ_card js = |