aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--progress/Consensus.tex (renamed from progress/Overview.tex)0
-rw-r--r--progress/progress.tex2
2 files changed, 1 insertions, 1 deletions
diff --git a/progress/Overview.tex b/progress/Consensus.tex
index a9b484b..a9b484b 100644
--- a/progress/Overview.tex
+++ b/progress/Consensus.tex
diff --git a/progress/progress.tex b/progress/progress.tex
index 7955bd2..ef5d722 100644
--- a/progress/progress.tex
+++ b/progress/progress.tex
@@ -1,7 +1,7 @@
\input ../format
\titlesub{Part 2: Progress Report}{Topic: Distributed Systems Integrity and Correctness}
-\include Overview:Overview
+\include Global Consensus:Consensus
%\include Products:Products % No Longer Necessary