diff options
Diffstat (limited to 'motus/js/updateProposition.ml')
| -rw-r--r-- | motus/js/updateProposition.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/motus/js/updateProposition.ml b/motus/js/updateProposition.ml index ab10db3..7a4608f 100644 --- a/motus/js/updateProposition.ml +++ b/motus/js/updateProposition.ml @@ -7,7 +7,7 @@ open StdLabels type t = { position : int ; letter : Jstr.t - ; validity : State.letter_validity + ; validity : Motus_lib.Validity.t } let process { position; letter; validity } state = |