From 9f4ab927cdef049aaea4c9459c32f7427a8e0a76 Mon Sep 17 00:00:00 2001
From: Claudio Russo <claudio@dfinity.org>
Date: Wed, 8 Jan 2025 10:23:13 +0000
Subject: [PATCH] refine versioning

---
 src/mo_types/type.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/mo_types/type.ml b/src/mo_types/type.ml
index 1197c045f0a..0c59b141f33 100644
--- a/src/mo_types/type.ml
+++ b/src/mo_types/type.ml
@@ -1900,6 +1900,8 @@ and match_stab_fields tfs1 tfs2 =
 
 let string_of_stab_sig stab_sig : string =
   let module Pretty = MakePretty(ParseableStamps) in
-  "// Version: 2.0\n" ^
+  (match stab_sig with
+  | Single _ -> "// Version: 1.0.0\n"
+  | PrePost _-> "// Version: 2.0.0\n") ^
   Format.asprintf "@[<v 0>%a@]@\n" (fun ppf -> Pretty.pp_stab_sig ppf) stab_sig