Rename MYMPZ_OPLIST into MY_MPZ_OPLIST

This commit is contained in:
Patrick Pelissier committed 2018-04-14 08:11:14 +02:00
1 parent e09fa89781
commit 20d549b5e1
5 files changed
+9 -9

No files matched your search

+1 -1
View File
@@ -31,7 +31,7 @@
START_COVERAGE
DEQUE_DEF(deque, int)
END_COVERAGE
DEQUE_DEF(deque_mpz, my_mpz_t, MYMPZ_OPLIST)
DEQUE_DEF(deque_mpz, my_mpz_t, MY_MPZ_OPLIST)
#define OPL DEQUE_OPLIST(deque)