From b2965fa033073c46fbc0e27900598a88580d2197 Mon Sep 17 00:00:00 2001
From: Alix Trieu <atrieu@users.noreply.github.com>
Date: Tue, 9 Apr 2019 16:41:34 +0200
Subject: Fix typo in section name in Selectionproof.v

SEL_SWITH_INT -> SEL_SWITCH_INT
---
 backend/Selectionproof.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'backend/Selectionproof.v')

diff --git a/backend/Selectionproof.v b/backend/Selectionproof.v
index dc01ad20..afc470b3 100644
--- a/backend/Selectionproof.v
+++ b/backend/Selectionproof.v
@@ -460,7 +460,7 @@ Qed.
 
 End SEL_SWITCH.
 
-Section SEL_SWITH_INT.
+Section SEL_SWITCH_INT.
 
 Variable cunit: Cminor.program.
 Variable hf: helper_functions.
@@ -547,7 +547,7 @@ Proof.
 - apply Int64.unsigned_range.
 Qed.
 
-End SEL_SWITH_INT.
+End SEL_SWITCH_INT.
 
 (** Compatibility of evaluation functions with the "less defined than" relation. *)
 
-- 
cgit