From 824da1f605a720deeb5d114f029880bc3f40c16b Mon Sep 17 00:00:00 2001 From: Tahina Ramananandro Date: Mon, 4 Oct 2021 19:41:54 -0700 Subject: [PATCH] snap --- src/ocaml-output/FStar_Extraction_Kremlin.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ocaml-output/FStar_Extraction_Kremlin.ml b/src/ocaml-output/FStar_Extraction_Kremlin.ml index 0168a53d88d..06b0073e548 100644 --- a/src/ocaml-output/FStar_Extraction_Kremlin.ml +++ b/src/ocaml-output/FStar_Extraction_Kremlin.ml @@ -1538,7 +1538,7 @@ and (translate_type_without_decay : TArray uu___ | FStar_Extraction_ML_Syntax.MLTY_Named (uu___::arg::[], p) when let uu___1 = FStar_Extraction_ML_Syntax.string_of_mlpath p in - uu___1 = "Steel.C.Array.array" -> + uu___1 = "Steel.C.Array.array_or_null" -> let uu___1 = translate_type_without_decay env1 arg in TBuf uu___1 | FStar_Extraction_ML_Syntax.MLTY_Named (uu___::arg::uu___1::[], p) when