Changeset 1525 for Deliverables/D2.2/8051/src/clight/runtime.ml

Timestamp:

Nov 21, 2011, 6:17:45 PM (8 years ago)

Author:

ayache

Message:

D2.2: function pointers using JMP.

File:

• Deliverables/D2.2/8051/src/clight/runtime.ml (modified) (1 diff)

Deliverables/D2.2/8051/src/clight/runtime.ml

@@ -36 +36 @@
        function *)
     (string -> string) *
-    (* dependences *)
+    (* dependencies *)
     operation list