From 7fbc125e7d965e67775d8fec84d8e5569d6d9a60 Mon Sep 17 00:00:00 2001
From: Craig Gidney <craiggidney@google.com>
Date: Mon, 28 Oct 2024 14:35:51 -0700
Subject: [PATCH] regen docs

---
 doc/gates.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/gates.md b/doc/gates.md
index 74718d29..d31f36d6 100644
--- a/doc/gates.md
+++ b/doc/gates.md
@@ -3043,7 +3043,7 @@ Decomposition (into H, S, CX, M, R):
     
 
 <a name="SPP"></a>
-### The 'SPP' Instruction
+### The 'SPP' Gate
 
 The generalized S gate. Phases the -1 eigenspace of Pauli product observables by i.
 
@@ -3109,7 +3109,7 @@ Decomposition (into H, S, CX, M, R):
     
 
 <a name="SPP_DAG"></a>
-### The 'SPP_DAG' Instruction
+### The 'SPP_DAG' Gate
 
 The generalized S_DAG gate. Phases the -1 eigenspace of Pauli product observables by -i.