Update libpoly0.symbols

SRI-CSL · Mar 30, 2020 · 575451d · 575451d
1 parent a81d4d5
commit 575451d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/debian/libpoly0.symbols b/debian/libpoly0.symbols
@@ -627,6 +627,7 @@ libpoly.so.0 libpoly0 #MINVER#
  rational_interval_neg@Base 1.3
  rational_interval_pow@Base 1.3
  rational_interval_sub@Base 1.3
+ stats_print@Base 1.3
  set_output_language@Base 1.3
  set_upolynomial_var_symbol@Base 1.3
  sturm_seqence_count_roots@Base 1.3