[ fix ] Fixed whitespace in test/succeed/QuoteContext.agda