diff --git a/src/domain/stm_tests_dls.ml b/src/domain/stm_tests_dls.ml index 649b8909..13dc8f46 100644 --- a/src/domain/stm_tests_dls.ml +++ b/src/domain/stm_tests_dls.ml @@ -6,7 +6,7 @@ open STM module DLSConf = struct - let length = 2 + let length = 8 type index = int type cmd =