| changeset 25548 | 121705bba349 |
| parent 25520 | e123c81257a5 |
| child 26385 | ae7564661e76 |
--- a/src/Tools/Compute_Oracle/am_sml.ML Wed Dec 05 20:16:36 2007 +0100 +++ b/src/Tools/Compute_Oracle/am_sml.ML Wed Dec 05 20:30:35 2007 +0100 @@ -20,7 +20,7 @@ open AbstractMachine; -val dump_output = ref NONE +val dump_output = ref (NONE: string option) type program = string * string * (int Inttab.table) * (int Inttab.table) * (term Inttab.table) * (term -> term)