Skip to content

I
Iris
Commit f83ae863 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files
Options

Fix typo that I forgot to git commit --amend.

parent dd0444b8
Pipeline #2644 passed with stage
    in 9 minutes and 3 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 1 addition and 1 deletion
    proofmode/classes.v
    View file @ f83ae863
    ......@@ -62,7 +62,7 @@ Global Arguments into_exist {_} _ _ {_}.
    Class IntoExceptLast (P Q : uPred M) := into_except_last : P ⊢ ◇ Q.
    Global Arguments into_except_last : clear implicits.
    Class IsExpectLast (Q : uPred M) := is_except_last : ◇ Q ⊢ Q.
    Class IsExceptLast (Q : uPred M) := is_except_last : ◇ Q ⊢ Q.
    Global Arguments is_except_last : clear implicits.
    Class FromVs (P Q : uPred M) := from_vs : (|=r=> Q) ⊢ P.
    ......
    Markdown is supported
    0% or
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment