diff options
Diffstat (limited to 'model/main.sail')
| -rw-r--r-- | model/main.sail | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/model/main.sail b/model/main.sail index e07a31a..a0965f6 100644 --- a/model/main.sail +++ b/model/main.sail @@ -16,8 +16,7 @@ function main () = { PC = sail_zero_extend(0x1000, sizeof(xlen)); print_bits("PC = ", PC); try { - init_platform(); - init_sys(); + init_model(); loop() } catch { Error_not_implemented(s) => print_string("Error: Not implemented: ", s), |