From 3eb55d65d9aebc8e12f556884c731926b6361dc0 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 13 Jun 2023 18:52:22 +0200
Subject: [PATCH] prefer OCaml 4.13 new String functions over Extlib's
---
.gitlab-ci.yml | 2 +-
meta_simplify.ml | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d4c9ff0..81757cd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -15,7 +15,7 @@ default:
variables:
DEFAULT: "master"
- OCAML: "4.11"
+ OCAML: "4.13"
################################################################################
### TESTS
diff --git a/meta_simplify.ml b/meta_simplify.ml
index ca7e9d3..1a9bf03 100644
--- a/meta_simplify.ml
+++ b/meta_simplify.ml
@@ -28,7 +28,7 @@ open Cil_types
*)
let is_not_orig_variable lv =
lv.lv_name = "__retres" ||
- Extlib.string_prefix "__fc_" lv.lv_name ||
+ String.starts_with ~prefix:"__fc_" lv.lv_name ||
match lv.lv_origin with
| Some v ->
not v.vsource || v.vtemp ||
--
GitLab