dune-project | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 adjust plugin files of sail
 These files are arch independent and should be not in /usr/share

src/lib/initial_check.ml | 2 1 + 1 - 0 !
src/lib/type_check.ml | 2 1 + 1 - 0 !
test/typecheck/fail/duplicate_enum_member.expect | 2 1 + 1 - 0 !
3 files changed, 3 insertions(+), 3 deletions(-)

 fix spelling error