You can also delete the relevant files in $SAGE_ROOT/devel/sage/build (search through all three subfolders). David
On Mon, Apr 8, 2013 at 4:48 AM, Nathann Cohen <nathann.co...@gmail.com>wrote: > Hellooooooooo everybody !! > > I am having a small problem with patch 14355 which supposedly removes > a module that was "never used". Indeed, all tests used to pass when > the module was removed, but it looks like it is mostly due to the fact > that removing the module does not remove the corresponding .pyc file, > so that the module is still available in Sage... ^^; > > Well, is there any way out ? :-P > > Thaaaaaaaaaaaaaaaanks ! > > Nathann > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel?hl=en. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
