diff options
Diffstat (limited to 'source/xi_lib/hardcoded.ml')
-rw-r--r-- | source/xi_lib/hardcoded.ml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/source/xi_lib/hardcoded.ml b/source/xi_lib/hardcoded.ml index 314fa1f..37cf1d7 100644 --- a/source/xi_lib/hardcoded.ml +++ b/source/xi_lib/hardcoded.ml @@ -35,10 +35,6 @@ let preamble = String.concat "\n" ; " add $sp, $sp, 4" ; " jr $ra" ; "" - ; "_xi_length:" - ; " lw $v0, -4($a0)" - ; " jr $ra" - ; "" ; "_xi_concat:" ; " # t0 = lhs" ; " # t1 = rhs" @@ -119,4 +115,4 @@ let preamble = String.concat "\n" ; " jr $ra" ; "" ; "" - ] \ No newline at end of file + ] |