diff options
Diffstat (limited to 'interface.ccl')
| -rw-r--r-- | interface.ccl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/interface.ccl b/interface.ccl index e130609..fc4b6b1 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 +CCTK_INT space_mask_group type=GF tags='Prolongation="None"' { space_mask } |