From 2126eac396d18977b5408e3ee550a20157359dbd Mon Sep 17 00:00:00 2001
From: Philip Offtermatt <57488781+p-offtermatt@users.noreply.github.com>
Date: Tue, 5 Sep 2023 13:03:45 +0200
Subject: [PATCH] Add docstring to extraSpells module

---
 tests/difference/core/quint_model/extraSpells.qnt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/difference/core/quint_model/extraSpells.qnt b/tests/difference/core/quint_model/extraSpells.qnt
index a959db5251..cd2105beb7 100644
--- a/tests/difference/core/quint_model/extraSpells.qnt
+++ b/tests/difference/core/quint_model/extraSpells.qnt
@@ -1,4 +1,5 @@
 -*- mode: Bluespec; -*-
+// This module is just a library with utility functions (sometimes called spells in Quint).
 module extraSpells {
 
   pure def prepend(__list: List[a], __elem: a): List[a] = {