From 5516b1ae64bb4192bdafb789ad1900505334a9c3 Mon Sep 17 00:00:00 2001 From: kalmar Date: Sun, 28 May 2017 20:03:57 +0200 Subject: [PATCH] using GroupRings --- src/PropertyT.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/PropertyT.jl b/src/PropertyT.jl index a17974d..b595419 100644 --- a/src/PropertyT.jl +++ b/src/PropertyT.jl @@ -1,7 +1,7 @@ module PropertyT using JLD -using GroupAlgebras +using GroupRings using Memento const logger = Memento.config("info", fmt="{msg}")