From a0cc9d62c9b586ce0400fe8e7478e53b573de7b3 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Mon, 9 Apr 2018 11:14:39 +0200
Subject: [PATCH] fix: PermCharacter is in Projections, not in PropertyT

---
 src/Projections.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Projections.jl b/src/Projections.jl
index 1d759ab..e2534c1 100644
--- a/src/Projections.jl
+++ b/src/Projections.jl
@@ -36,7 +36,7 @@ function (chi::PermCharacter)(g::Generic.perm)
     return Int(Nemo.Generic.MN1inner(R, p, 1, Nemo.Generic._charvalsTable))
 end
 
-function Nemo.dim(χ::PropertyT.PermCharacter)
+function Nemo.dim(χ::PermCharacter)
     G = PermutationGroup(sum(χ.p))
     return χ(G())
 end