tree 991190097951e0ce9ed8450e13661a605fc7117f
parent b3d9187cea02e745b05d4fd686d95f0836d81c08
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1376496258 +0200
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1377024364 +0200

Nicer interface between PK and debug.

Finally get rid of pk_context.type member, too.