Merge pull request #491 from FStarLang/franziskus/allow_array_field_a…

…ssign allow assigning arrays into fields
FStarLang · Oct 14, 2024 · 9de4665 · 9de4665
2 parents 59a3a41 + 4137a2e
commit 9de4665
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/Structs.ml b/lib/Structs.ml
@@ -48,7 +48,7 @@ let mk_is_struct files =
 
 let will_be_lvalue e =
   match e.node with
-  | EBound _ | EOpen _ | EBufRead _ ->
+  | EField _ | EBound _ | EOpen _ | EBufRead _ ->
       true
   | _ ->
       false