fix kind_nlist typo

project-everest · Oct 21, 2024 · 54ed7bb · 54ed7bb
1 parent 86b6048
commit 54ed7bb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/3d/prelude/EverParse3d.Kinds.fst b/src/3d/prelude/EverParse3d.Kinds.fst
@@ -96,8 +96,8 @@ let kind_nlist #b #w kelt nopt
     | None -> kind_nlist_default
     | Some byte_size -> 
       if Some kelt.parser_kind_low = kelt.parser_kind_high
-      && byte_size <> 0
-      && kelt.parser_kind_low % byte_size = 0
+      && kelt.parser_kind_low <> 0
+      && byte_size % kelt.parser_kind_low = 0
       && kelt.parser_kind_subkind = Some ParserStrong
       && kelt.parser_kind_metadata = Some ParserKindMetadataTotal
       then (