diff options
| -rw-r--r-- | interface.ccl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/interface.ccl b/interface.ccl index fc4b6b1..8f611e6 100644 --- a/interface.ccl +++ b/interface.ccl @@ -11,7 +11,7 @@ INCLUDE HEADER: SpaceMask.h in SpaceMask.h public: -CCTK_INT space_mask_group type=GF tags='Prolongation="None"' +CCTK_INT space_mask_group type=GF tags='tensortypealias="Scalar" Prolongation="None"' { space_mask } @@ -22,7 +22,7 @@ CCTK_INT space_mask_group type=GF tags='Prolongation="None"' # mask, this function will disappear. Please don't use it for # anything. # -real mask type = GF tags='Prolongation="None"' +real mask type = GF tags='tensortypealias="Scalar" Prolongation="None"' { emask } "Mask" |