diff options
| author | Ian Hinder <ian.hinder@aei.mpg.de> | 2013-09-13 15:23:42 +0200 |
|---|---|---|
| committer | Ian Hinder <ian.hinder@aei.mpg.de> | 2013-09-13 15:23:42 +0200 |
| commit | c712d76df15718269edbbee1eae19d53e0096133 (patch) | |
| tree | de5be908ad8ad62d1c2f995976c481ea2f0c143d | |
| parent | b3c24e5eae1e887a546f74cdf2310ef361eef1b7 (diff) | |
KrancThorn.m: Correct typo
| -rw-r--r-- | Tools/CodeGen/KrancThorn.m | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/CodeGen/KrancThorn.m b/Tools/CodeGen/KrancThorn.m index 92a481c..18fc175 100644 --- a/Tools/CodeGen/KrancThorn.m +++ b/Tools/CodeGen/KrancThorn.m @@ -476,7 +476,7 @@ CreateKrancThorn[groupsOrig_, parentDirectory_, thornName_, opts:OptionsPattern[ Param -> param, CaKernel -> cakernel, Makefile -> make, - Sources -> GetObjectField[c, "Name"]}; + Sources -> GetObjectField[c, "Sources"]}; InfoMessage[Terse, "Creating thorn"]; CreateThorn[thornspec]]]; |