diff options
| -rw-r--r-- | interface.ccl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/interface.ccl b/interface.ccl index 6c502ab..e130609 100644 --- a/interface.ccl +++ b/interface.ccl @@ -22,7 +22,7 @@ CCTK_INT space_mask_group type=GF # mask, this function will disappear. Please don't use it for # anything. # -real mask type = GF +real mask type = GF tags='Prolongation="None"' { emask } "Mask" |