HoTT/HoTT — pull request #650 by JasonGross (2014-12-18 23:47:56+00:00)
Title: Fix dpdgraph

The stack overflow was caused by the self-referential nature of primitive projections. Rather than filter this out in Coq-land, we simply ignore requests to add self-edges in dot-land.

Note: This bumps the coq submodule.