Add docstring to extraSpells module

cosmos · Sep 5, 2023 · 2126eac · 2126eac
1 parent 6c91866
commit 2126eac
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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] = {