From 6825c691875d60c678cd7f8b7bd72afb19826b45 Mon Sep 17 00:00:00 2001
From: GIT <systemlogic@users.noreply.github.com>
Date: Mon, 7 Sep 2020 23:29:15 +0530
Subject: Update simple.xml

I guess, double that is typo
---
 doc/user/simple.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/user/simple.xml b/doc/user/simple.xml
index 138ff54..8582613 100644
--- a/doc/user/simple.xml
+++ b/doc/user/simple.xml
@@ -459,7 +459,7 @@ int main() { printf("Goodbye, world!\n"); }
      we see the output from calling the <function>print</function>
      function in between the messages about
      reading the &SConscript; files,
-     indicating that that is when the
+     indicating that is when the
      Python statements are being executed:
 
      </para>
-- 
cgit v0.12