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 | ||