diff options
| author | Ian Hinder <ian.hinder@aei.mpg.de> | 2010-04-03 10:58:48 +0100 |
|---|---|---|
| committer | Ian Hinder <ian.hinder@aei.mpg.de> | 2010-04-03 10:58:48 +0100 |
| commit | c5f19fde518926af58e9a671ab9470c6d4259988 (patch) | |
| tree | 87de8212c428e7e58d9c1ae3e319ff9ef38213a5 | |
| parent | b39cc55bfe0d13584015d9f400f6bebfde39d0da (diff) | |
Interface.m: Remove duplicate Kranc` context on BeginPackage line
| -rw-r--r-- | Tools/CodeGen/Interface.m | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/CodeGen/Interface.m b/Tools/CodeGen/Interface.m index 393276b..29c198f 100644 --- a/Tools/CodeGen/Interface.m +++ b/Tools/CodeGen/Interface.m @@ -18,7 +18,7 @@ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA *) -BeginPackage["Interface`", {"Thorn`", "KrancGroups`", "MapLookup`", "Errors`", "Helpers`", "Kranc`", "Kranc`"}]; +BeginPackage["Interface`", {"Thorn`", "KrancGroups`", "MapLookup`", "Errors`", "Helpers`", "Kranc`"}]; CreateKrancInterface; |