From a3508843fa932cbc9a3c0b0d3dc5004752d2a8e4 Mon Sep 17 00:00:00 2001 From: gregoire Date: Mon, 5 Dec 2005 10:16:24 +0000 Subject: changement d'egalite pour le named_context_val git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7640 85f007b7-540e-0410-9357-904b9bb8a0f7 --- kernel/vm.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'kernel/vm.ml') diff --git a/kernel/vm.ml b/kernel/vm.ml index 8f0d2ebdd..c8be979e0 100644 --- a/kernel/vm.ml +++ b/kernel/vm.ml @@ -76,9 +76,9 @@ let crasy_val = (val_of_obj (repr 0)) (* Functions *) type vfun (* v = [Tc | c | fv1 | ... | fvn ] *) -(* ^ *) +(* ^ *) (* [Tc | (Restart : c) | v | a1 | ... an] *) -(* ^ *) +(* ^ *) (* Products *) type vprod @@ -220,6 +220,7 @@ type vswitch = { sw_env : vm_env } +(* Ne pas changer ce type sans modifier le code C *) type atom = | Aid of id_key | Aiddef of id_key * values -- cgit v1.2.3