Fix a merge conflict

mit-plv · Mar 6, 2025 · 37929dc · 37929dc
1 parent 1f80b2f
commit 37929dc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Assembly/Parse.v b/src/Assembly/Parse.v
@@ -588,6 +588,7 @@ Fixpoint get_initial_data (ls : Lines) : list (AccessSize * list Z)
           | LABEL _
           | EMPTY
           | GLOBAL _
+          | DIRECTIVE _
           | DEFAULT_REL
             => get_initial_data ls
           | SECTION _