Skip to content
Snippets Groups Projects
Commit 91fdcd48 authored by erwan's avatar erwan
Browse files

fix : a typo (that broke the sue of rdbg with sasa!)

parent a25684e2
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
tools/rdbg4sasa/sasa-rdbg-cmds.ml
+ 1
− 1
View file @ 91fdcd48
...@@ -239,7 +239,7 @@ let _ = ...@@ -239,7 +239,7 @@ let _ =
(* split the vars into returns (the enab vars, the activated vars, (* split the vars into returns (the enab vars, the activated vars,
the other vars) nb: in the "Enab" prefix is removed from enab 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 *) 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 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 l = List.map (fun (x,v) -> Str.split (Str.regexp "_") x, v) l in
let rec sortv (enab, other) (x,v) = let rec sortv (enab, other) (x,v) =
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment