Experiment 4 failure labels: X{1,2,3} -> X{1,0,2}

UChicago-PL · Jun 30, 2020 · 38928f7 · 38928f7
1 parent f2f8dd3
commit 38928f7
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/experiments/latex-tables/figure-10.tex b/experiments/latex-tables/figure-10.tex
@@ -96,11 +96,9 @@
 \newcommand{\leonquidIncorrect}
   {\textcolor{orange}{\xmark$^1$}}
 \newcommand{\leonquidError}
-  {\textcolor{orange}{\xmark$^2$}}
+  {\textcolor{orange}{\xmark$^0$}}
 \newcommand{\leonquidHigherOrderFunc}
-  {\textcolor{orange}{\xmark$^3$}}
-\newcommand{\synquidNotTraceComplete}
-  {\textcolor{orange}{\xmark$^4$}}
+  {\textcolor{orange}{\xmark$^2$}}
 \newcommand{\synquidDatatypeAxiomsNoPhantom}
   {\textcolor{orange}{\textbf{?}}}
 \newcommand{\synquidDatatypeAxioms}