Skip to content
Permalink
Browse files

correction to velocity.clif

  • Loading branch information...
gruninger committed Jan 31, 2019
1 parent 64c1316 commit b0cc2977c730ce35f176fc15637604422116fd53
Showing with 1 addition and 1 deletion.
  1. +1 −1 ontologies/velocity/velocity_vector.clif
@@ -20,7 +20,7 @@
(if (and (vector v)
(velocity x)
(velocity y))
(= (velq v (add x y)) (add_velocity (velq v x) (velq v y)))))
(= (velq v (add_velocity x y)) (add_velocity (velq v x) (velq v y)))))

(forall (a v x)
(if (and (vector v)

0 comments on commit b0cc297

Please sign in to comment.
You can’t perform that action at this time.