minor enhancement to repl

PoslavskySV · Apr 16, 2018 · 7bff80a · 7bff80a
1 parent 68f3f90
commit 7bff80a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/rings.repl/rings.repl b/rings.repl/rings.repl
@@ -134,6 +134,7 @@ $ringsString" \
 		@ 
 		 
 		import cc.redberry.rings
+        import cc.redberry.rings.primes.{SmallPrimes, BigPrimes}
 		import rings.{bigint, primes, linear, poly}
 		import poly.{univar, multivar}
 		import poly.PolynomialMethods._