1 files changed, 6 insertions, 0 deletions
diff --git a/src/mips.mli b/src/mips.mli
index a42f1ce..f1e39d6 100644
--- a/src/mips.mli
+++ b/src/mips.mli
@@ -57,6 +57,12 @@ val t0 : register
 val t1 : register
 val t2 : register
 val t3 : register
+val t4 : register
+val t5 : register
+val t6 : register
+val t7 : register
+val t8 : register
+val t9 : register
 val s0 : register
 val s1 : register
 val ra : register