Accidental change

AbsInt · Aug 19, 2024 · 54faa2a · 54faa2a
1 parent 090a9db
commit 54faa2a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/backend/CSEdomain.v b/backend/CSEdomain.v
@@ -175,7 +175,7 @@ Record numbering_holds (valu: valuation) (ge: genv) (sp: val)
   num_holds_eq: forall eq,
      In eq n.(num_eqs) -> equation_holds valu ge sp m eq;
   num_holds_reg: forall r v,
-     n.(num_reg)!r = Some v -> rs#r = valu v;
+     n.(num_reg)!r = Some v -> rs#r = valu v
 }.
 
 Global Hint Resolve num_holds_wf num_holds_eq num_holds_reg: cse.