From 91fdcd481e115183754e17b9829d86f56beaa291 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 27 Feb 2023 16:56:58 +0100
Subject: [PATCH] fix : a typo (that broke the sue of rdbg with sasa!)
---
tools/rdbg4sasa/sasa-rdbg-cmds.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tools/rdbg4sasa/sasa-rdbg-cmds.ml b/tools/rdbg4sasa/sasa-rdbg-cmds.ml
index b5492e03..9818f27f 100644
--- a/tools/rdbg4sasa/sasa-rdbg-cmds.ml
+++ b/tools/rdbg4sasa/sasa-rdbg-cmds.ml
@@ -239,7 +239,7 @@ let _ =
(* split the vars into returns (the enab vars, the activated vars,
the other vars) nb: in the "Enab" prefix is removed from enab vars
names; ie we leave only the pid and the action name *)
-type s = (string string * Data.v)
+type s = (string * string * Data.v)
let split_data (l:Data.subst list) : s list * s list * s list =
let l = List.map (fun (x,v) -> Str.split (Str.regexp "_") x, v) l in
let rec sortv (enab, other) (x,v) =
--
GitLab