From 2923b9262e3859f2ad0169778d63d79843d7ddf7 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 27 Nov 2013 17:51:49 +0100
Subject: Old message Interp returns the state id so that one can BackTo it

---
 lib/interface.mli | 2 +-
 lib/serialize.ml  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib')

diff --git a/lib/interface.mli b/lib/interface.mli
index 24f2b65249..a01ec20aed 100644
--- a/lib/interface.mli
+++ b/lib/interface.mli
@@ -236,7 +236,7 @@ type handle_exn_rty = state_id * location * string
 (* Retrocompatibility stuff *)
 type interp_sty = (raw * verbose) * string
 (* spiwack: [Inl] for safe and [Inr] for unsafe. *)
-type interp_rty = (string,string) Util.union
+type interp_rty = state_id * (string,string) Util.union
 
 
 type handler = {
diff --git a/lib/serialize.ml b/lib/serialize.ml
index 2b46df60b6..b1768d76dc 100644
--- a/lib/serialize.ml
+++ b/lib/serialize.ml
@@ -651,7 +651,7 @@ let mkcases_rty_t : mkcases_rty val_t = list_t (list_t string_t)
 let quit_rty_t : quit_rty val_t = unit_t
 let about_rty_t : about_rty val_t = coq_info_t
 let init_rty_t : init_rty val_t = state_id_t
-let interp_rty_t : interp_rty val_t = union_t string_t string_t
+let interp_rty_t : interp_rty val_t = pair_t state_id_t (union_t string_t string_t)
 
 let ($) x = erase x
 let calls = [|  
-- 
cgit v1.2.3