diff options
Diffstat (limited to 'next-lib/src/api/SymbolicSpa.gf')
| -rw-r--r-- | next-lib/src/api/SymbolicSpa.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/next-lib/src/api/SymbolicSpa.gf b/next-lib/src/api/SymbolicSpa.gf index ae44431f5..f284075d7 100644 --- a/next-lib/src/api/SymbolicSpa.gf +++ b/next-lib/src/api/SymbolicSpa.gf @@ -1,4 +1,4 @@ ---# -path=.:present:mathematical:prelude +--# -path=.:present:prelude resource SymbolicSpa = Symbolic with (Symbol = SymbolSpa), |