From b03e530eff6216843aaf05c69c766de32d242602 Mon Sep 17 00:00:00 2001
From: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
Date: Fri, 24 Jan 2025 11:47:18 -0500
Subject: [PATCH] fix typo in explanatory text around simple interpretations

---
 spec/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec/index.html b/spec/index.html
index beb5ea5..8c5517a 100644
--- a/spec/index.html
+++ b/spec/index.html
@@ -435,7 +435,7 @@ <h2>Simple Interpretations</h2>
     is a set of pairs which identify the arguments for which the property is true,
     that is, a binary relational extension.</p>
 
-  <p>The distinction between IR and IL will become significant below when the semantics of datatypes are defined.
+  <p>The distinction between IS and IL will become significant below when the semantics of datatypes are defined.
     IL is allowed to be partial because some literals may fail to have a referent. </p>
 
   <p class="technote">It is conventional to map a relation name to a relational extension directly.