merged

JobPetrovcic · Apr 10, 2024 · 1bfb3fe · 1bfb3fe
1 parent cdd10b3
commit 1bfb3fe
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/full/Agda/Interaction/Highlighting/Sexp/Base.hs b/src/full/Agda/Interaction/Highlighting/Sexp/Base.hs
@@ -162,6 +162,7 @@ instance Sexpable Origin where
     toSexp Reflected = constr "reflected" []
     toSexp CaseSplit = constr "case-split" []
     toSexp Substitution = constr "substitution" []
+    toSexp ExpandedPun = constr "expanded-pun" []
 
 instance Sexpable ProjOrigin where
     toSexp ProjPrefix = constr "user-written" []