From d5451ad4fc55c38ea0a7a1687dfc80c2bb0f9d13 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 25 Nov 2013 10:13:32 +0100
Subject: First stab at retrocompatible INTERP message

---
 lib/serialize.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/serialize.mli')

diff --git a/lib/serialize.mli b/lib/serialize.mli
index 2b1718bf76..e749462087 100644
--- a/lib/serialize.mli
+++ b/lib/serialize.mli
@@ -29,6 +29,8 @@ val get_options : get_options_sty -> get_options_rty call
 val set_options : set_options_sty -> set_options_rty call
 val quit        : quit_sty        -> quit_rty call
 val init        : init_sty        -> init_rty call
+(* retrocompatibility *)
+val interp      : interp_sty      -> interp_rty call
 
 val abstract_eval_call : handler -> 'a call -> 'a value
 
-- 
cgit v1.2.3