tree 2dba4599914233768655261d3eb7cac33e842791
parent 3c9cdc9bb2903a2a11092f442b25de37fafe81c6
author Krzysztof Jurewicz <krzysztof.jurewicz@gmail.com> 1516049224 +0100
committer Krzysztof Jurewicz <krzysztof.jurewicz@gmail.com> 1516049224 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iF0EABECAB0WIQRJuPqHRBzPEiaNp7Ekg/moXs09SAUCWl0TVgAKCRAkg/moXs09
 SPQMAJ4im1yS4bWdCt9zm5BiVZwbOLU6VQCfSxPMCEgbTkILpF8EfHJ9TzLuFXo=
 =PzKB
 -----END PGP SIGNATURE-----

Fix type definition of triq_dom:domrec/1