diff options
Diffstat (limited to '')
-rw-r--r-- | src/InterpreterPaths.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/InterpreterPaths.ml b/src/InterpreterPaths.ml index 8cf2b747..4482a507 100644 --- a/src/InterpreterPaths.ml +++ b/src/InterpreterPaths.ml @@ -413,7 +413,7 @@ let expand_bottom_value_from_projection (config : C.config) during whose evaluation we got stuck *) let projection' = fst - (Utils.list_split_at p.projection + (Collections.List.split_at p.projection (List.length p.projection - remaining_pes)) in let p' = { p with projection = projection' } in |