changeset 43085 | 0a2f5b86bdd7 |
parent 42650 | 552eae49f97d |
child 43092 | 93ec303e1917 |
43084:946c8e171ffd | 43085:0a2f5b86bdd7 |
---|---|
28 end; |
28 end; |
29 |
29 |
30 structure Metis_Reconstruct : METIS_RECONSTRUCT = |
30 structure Metis_Reconstruct : METIS_RECONSTRUCT = |
31 struct |
31 struct |
32 |
32 |
33 open ATP_Translate |
|
33 open Metis_Translate |
34 open Metis_Translate |
34 |
35 |
35 exception METIS of string * string |
36 exception METIS of string * string |
36 |
37 |
37 val trace = Attrib.setup_config_bool @{binding metis_trace} (K false) |
38 val trace = Attrib.setup_config_bool @{binding metis_trace} (K false) |