Using the standard (type class based) transitivity tactic for more contr...

...olable proof terms. As discussed in #454.
Previous HEAD position was 4c7bd07... Fix an off-by-one error
HEAD is now at 6c48899... Fix a typo



On Thu, Sep 4, 2014 at 7:50 PM, Jason Gross <notifications@github.com>
wrote:

> In etc/coq-scripts:
>
> > @@ -1 +1 @@
> > -Subproject commit 6c4889941809dc83172755b576b5a9239c0571e6
> > +Subproject commit 4c7bd07be11e44ebd8322817ef6a316eac840307
>
> You should not be changing this. You probably ran git commit -a without
> running git submodule sync or git submodule update. To fix, run cd
> etc/coq-scripts && git remote update && git checkout
> 6c4889941809dc83172755b576b5a9239c0571e6 && cd ../../ && git add
> etc/coq-scripts && git commit --amend
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/HoTT/HoTT/pull/459/files#r17130161>.
>