changeset 6727:e1eb2d418cfa

Basic injection queries for Quint (#13322)
author Niklas Gruhn <niklas@gruhn.me>
date Fri, 11 Apr 2025 17:31:57 +0200
parents 89741e288ea0
children 335d60c0b8cf
files runtime/queries/quint/injections.scm
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/runtime/queries/quint/injections.scm	Fri Apr 11 17:31:57 2025 +0200
@@ -0,0 +1,2 @@
+((comment) @injection.content
+ (#set! injection.language "comment"))