# HG changeset patch
# User Scott Morrison <scott@tqft.net>
# Date 1312956080 25200
# Node ID 6f5e8563f3e286d05512840815181523b8b10a6d
# Parent  84bb5ab4c85cb9638b74bd6355bff17447cc331a# Parent  9020b09ddc639b783952e662935e087267d388a8
Automated merge with https://tqft.net/hg/blob/

diff -r 84bb5ab4c85c -r 6f5e8563f3e2 text/a_inf_blob.tex
--- a/text/a_inf_blob.tex	Tue Aug 09 19:28:39 2011 -0600
+++ b/text/a_inf_blob.tex	Tue Aug 09 23:01:20 2011 -0700
@@ -119,7 +119,7 @@
 the case.
 (Consider the $x$-axis and the graph of $y = e^{-1/x^2} \sin(1/x)$ in $\r^2$.)
 However, we {\it can} find another decomposition $L$ such that $L$ shares common
-refinements with both $K$ and $K'$. (For instance, in the example above, $L$ can be the graph of $y=x^2+1$.)
+refinements with both $K$ and $K'$. (For instance, in the example above, $L$ can be the graph of $y=x^2-1$.)
 This follows from Axiom \ref{axiom:vcones}, which in turn follows from the
 splitting axiom for the system of fields $\cE$.
 Let $KL$ and $K'L$ denote these two refinements.