Browse files

comment.

  • Loading branch information...
1 parent bb98a29 commit 11991fc372ed16060d262da866ee8af3251fff0a @leepike committed Jan 1, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 Examples/Examples.hs
View
2 Examples/Examples.hs
@@ -2,7 +2,7 @@
-- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
--------------------------------------------------------------------------------
--- |
+-- | Some Copilot examples.
{-# LANGUAGE RebindableSyntax #-}

0 comments on commit 11991fc

Please sign in to comment.