Add boxes around two figures.

diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex
index 7adcfcf5c19ef89dfa7eafee67705ef09936960d..eb66f002e1cb1731651164fd09e6754057ba9720 100644 (file)
--- a/Chapters/Prototype.tex
+++ b/Chapters/Prototype.tex
@@ -188,7 +188,7 @@
       % Draw the objects (and deferred labels)
       drawObj (inp, front, desugar, simpl, back, out);
     \stopuseMPgraphic
-    \placefigure[right]{GHC compiler pipeline}{\useMPgraphic{ghc-pipeline}}
+    \placefigure[right]{GHC compiler pipeline}{\startboxed \useMPgraphic{ghc-pipeline}\stopboxed}
 
     \startdesc{Frontend}
       This step takes the Haskell source files and parses them into an
@@ -279,7 +279,7 @@
       % Draw the objects (and deferred labels)
       drawObj (inp, front, norm, vhdl, out);
     \stopuseMPgraphic
-    \placefigure[right]{Cλash compiler pipeline}{\useMPgraphic{clash-pipeline}}
+    \placefigure[right]{Cλash compiler pipeline}{\startboxed \useMPgraphic{clash-pipeline}\stopboxed}
 
     \startdesc{Frontend}
       This is exactly the frontend from the \small{GHC} pipeline, that