aboutsummaryrefslogtreecommitdiff
path: root/libmg2d.v
diff options
context:
space:
mode:
authorAnton Khirnov <anton@khirnov.net>2019-03-11 09:58:15 +0100
committerAnton Khirnov <anton@khirnov.net>2019-03-11 09:58:15 +0100
commit8a139859d22012436be404388fd611fb6126bc7f (patch)
tree6b3bafc9bf6244b70efe6e005239abe2a546ac2d /libmg2d.v
parent12f4d2fb11aaab5b1dbe2606ff09bc1bb7410cc0 (diff)
mg2d: make the refinement depth/exact solve size configurable
API bump
Diffstat (limited to 'libmg2d.v')
-rw-r--r--libmg2d.v2
1 files changed, 1 insertions, 1 deletions
diff --git a/libmg2d.v b/libmg2d.v
index c01a69f..3e4fb25 100644
--- a/libmg2d.v
+++ b/libmg2d.v
@@ -1,4 +1,4 @@
-LIBMG2D_10 {
+LIBMG2D_11 {
global: mg2d_*;
local: *;
};