aligned is a qualifier not an option

project-everest · Oct 22, 2024 · d495409 · d495409
1 parent 0360717
commit d495409
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/3d/TypeSizes.fst b/src/3d/TypeSizes.fst
@@ -390,7 +390,7 @@ let rec size_and_alignment_of_field (env:env_t)
         if all_cases_fixed
         && not (Fixed? size)
         then error
-              "With the --align option, \
+              "With the 'aligned' qualifier, \
                all cases of a union with a fixed size \
                must have the same size; \
                union padding is not yet supported"