From ad2ff8d3876eeae4f6138e1c265f7ad95cb5421e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= <contact@tobast.fr>
Date: Tue, 17 Jul 2018 12:19:18 +0200
Subject: [PATCH] Fix duplicated line

---
 semantics.tex | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/semantics.tex b/semantics.tex
index 1d400a1..5d6e93d 100644
--- a/semantics.tex
+++ b/semantics.tex
@@ -22,7 +22,6 @@
 \newcommand{\FDE}{\operatorname{FDE}}
 \newcommand{\dwrow}{\operatorname{Row}}
 \newcommand{\spexpr}{\mathbb{E}}
-\newcommand{\dwexpr}{\bar{\mathbb{E}}}
 \newcommand{\regs}{\mathbb{R}}
 \newcommand{\values}{\mathbb{V}}
 
@@ -107,8 +106,6 @@ formats to handle various operands formatting, to optimize space).
         & \text{A DWARF row} \\
     \spexpr &:= \regs \times \mathbb{Z}
         & \text{A ``simple'' expression $\reg{reg} + offset$} \\
-    \spexpr &:= \regs \times \mathbb{Z}
-        & \text{A ``simple'' expression $\reg{reg} + offset$} \\
     \regs &:= \left\{0, 1, \ldots, \operatorname{NB\_REGS - 1} \right\}
         & \text{Machine registers} \\
     \values &:= \{\bot\} \cup \valaddr{\spexpr} \cup \valval{\spexpr}