1 files changed, 5 insertions, 0 deletions
diff --git a/backend/CSE3analysis.v b/backend/CSE3analysis.v
index a85cd493..300bb216 100644
--- a/backend/CSE3analysis.v
+++ b/backend/CSE3analysis.v
@@ -296,6 +296,11 @@ Section OPERATIONS.
       end
     else rel'.
     
+  Definition store
+             (chunk : memory_chunk) (addr: addressing) (args : list reg)
+             (src : reg) (ty: typ)
+             (rel : RELATION.t) : RELATION.t :=
+    store1 chunk addr (forward_move_l rel args) src ty rel.
   End PER_NODE.
 
 Definition apply_instr no instr (rel : RELATION.t) : RB.t :=