Rename mympz.h --> test-obj.h

as it is used only for testing purpose.
This commit is contained in:
Patrick Pelissier committed 2018-05-08 10:29:51 +02:00
1 parent ebcfcf9bfa
commit 1a064e033b
14 files changed
+13 -13

No files matched your search

+1 -1
View File
@@ -22,7 +22,7 @@
*/
#include <stdio.h>
#include <assert.h>
#include "mympz.h"
#include "test-obj.h"
#include "m-prioqueue.h"
#include "coverage.h"