diff options
Diffstat (limited to 'subprojects/frontend/src/language/problem.grammar')
-rw-r--r-- | subprojects/frontend/src/language/problem.grammar | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/frontend/src/language/problem.grammar b/subprojects/frontend/src/language/problem.grammar index ac0b0ea3..313df05d 100644 --- a/subprojects/frontend/src/language/problem.grammar +++ b/subprojects/frontend/src/language/problem.grammar | |||
@@ -1,6 +1,6 @@ | |||
1 | @detectDelim | 1 | @detectDelim |
2 | 2 | ||
3 | @external prop implicitCompletion from '../../../../src/language/props.ts' | 3 | @external prop implicitCompletion from './props' |
4 | 4 | ||
5 | @top Problem { statement* } | 5 | @top Problem { statement* } |
6 | 6 | ||