From ce4f1916da88b151ce655b420a4e7ac9e74e6a82 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Wed, 14 Jul 2010 00:55:40 +0200 Subject: [PATCH] interface_format_version bump ! 10.... --- compiler/global/signature.ml | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/compiler/global/signature.ml b/compiler/global/signature.ml index 8103fcd..dfbdeb5 100644 --- a/compiler/global/signature.ml +++ b/compiler/global/signature.ml @@ -12,7 +12,7 @@ open Types (** Warning: Whenever these types are modified, interface_format_version should be incremented. *) -let interface_format_version = "9" +let interface_format_version = "10" (** Node argument *) type arg = { a_name : name option; a_type : ty } @@ -57,10 +57,8 @@ let mk_const_def name ty value = let rec field_assoc f = function | [] -> raise Not_found | { f_name = n; f_type = ty }::l -> - if shortname f = n then - ty - else - field_assoc f l + if shortname f = n then ty + else field_assoc f l open Format