summaryrefslogtreecommitdiff
path: root/mipshelpers.ml
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-14 20:38:38 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-14 20:38:38 +0100
commit0c80d91036efe66957039b6bf0c88aa73ff7dc14 (patch)
treebe29867afc30ae41fa74f8d3ecea6ed46f321d33 /mipshelpers.ml
parent9d878f3e39a2bd46e652d2b0cac4f82046728b52 (diff)
downloadpetitcaml-0c80d91036efe66957039b6bf0c88aa73ff7dc14.tar.gz
petitcaml-0c80d91036efe66957039b6bf0c88aa73ff7dc14.tar.bz2
[petitcaml] mips* : comment and fix strings support
Diffstat (limited to 'mipshelpers.ml')
-rw-r--r--mipshelpers.ml4
1 files changed, 4 insertions, 0 deletions
diff --git a/mipshelpers.ml b/mipshelpers.ml
index 241b6a7..b93ae6c 100644
--- a/mipshelpers.ml
+++ b/mipshelpers.ml
@@ -1,3 +1,7 @@
+(****************************************
+ mipshelpers.ml - "macros" mips
+ ****************************************)
+
open Mips
let heap_push n =