Commit 9040490a authored by pfdietz's avatar pfdietz

Replace cl-user::==> with :==>

parent fd2f1ba1
......@@ -217,7 +217,7 @@ Results: ~A~%" expected-number form n results))))
(if (or (and valid sub (not is-sub))
(and valid (not sub) is-sub)
(and (not valid) should-be-valid))
`(((SUBTYPEP ,type1 ,type2) cl-user::==> ,sub ,valid))
`(((SUBTYPEP ,type1 ,type2) :==> ,sub ,valid))
(defun subtypep-and-contrapositive-are-consistent (t1 t2)
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