add unused sources

[wix.git] / src / Wix.lhs

diff --git a/src/Wix.lhs b/src/Wix.lhs
index e969aab..a036670 100644 (file)
--- a/src/Wix.lhs
+++ b/src/Wix.lhs
@@ -1,7 +1,11 @@
 \begin{code}
+-- Copyright 2008 the Contributors, as shown in the revision logs.
+-- Licensed under the Apache Public Source License 2.0 ("the License").
+-- You may not use this file except in compliance with the License.
+
 module Wix(main')
 where
-import SBP
+import Edu_Berkeley_Sbp_Haskell_SBP
 import FromTree
 import Doc
 import Html