Merge pull request #2994 from FStarLang/thibault_typo_proj_pair

Fix typo in OCaml code for extracting elements of a pair
FStarLang · Jul 19, 2023 · 84ca0d4 · 84ca0d4
2 parents 59a320f + 27e5a20
commit 84ca0d4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ocaml/fstar-lib/FStar_Pervasives_Native.ml b/ocaml/fstar-lib/FStar_Pervasives_Native.ml
@@ -17,8 +17,8 @@ type ('a,'b) tuple2 = 'a * 'b[@@deriving yojson,show]
 let fst = Stdlib.fst
 let snd = Stdlib.snd
 
-let __proj__Mktuple2__1 = fst
-let __proj__Mktuple2__2 = snd
+let __proj__Mktuple2__item___1 = fst
+let __proj__Mktuple2__item___2 = snd
 
 type ('a,'b,'c) tuple3 =
  'a* 'b* 'c