[Added some uses of --no-termination-check.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20101115132442
 Ignore-this: bf392c51d5e2dd31a4b5467e4d2d7a2b
] hunk ./Exceptions.agda 1
+{-# OPTIONS --no-termination-check #-}
+
hunk ./HuttonsRazor.agda 1
+{-# OPTIONS --no-termination-check #-}
+
hunk ./HuttonsRazor.agda 214
+      -- Note that the code in this block does not satisfy the
+      -- termination checker.
+
hunk ./Wand2.agda 6
+{-# OPTIONS --no-termination-check #-}
+
hunk ./Wand2.agda 93
--- the elements of Γ⁺.
+-- the elements of Γ⁺. The termination checker cannot see this,
+-- though.