From 7bff80aa8e52784cea21be0816110ccdf689a32d Mon Sep 17 00:00:00 2001
From: Stanislav Poslavsky <stvlpos@mail.ru>
Date: Mon, 16 Apr 2018 21:34:36 +0300
Subject: [PATCH] minor enhancement to repl

---
 rings.repl/rings.repl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/rings.repl/rings.repl b/rings.repl/rings.repl
index 0145899..74baed6 100755
--- 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._