--- check-errors.setup.~1~	Mon Sep  7 13:14:23 2009
+++ check-errors.setup	Mon Sep  7 13:17:12 2009
@@ -6,10 +6,10 @@
 
 (copy-to-home "inline-type-checks.scm")
 
-(setup-shared-extension-module 'type-errors (extension-version "1.0.0"))
+(setup-shared-extension-module 'type-errors (extension-version "1.4.0"))
 
-(setup-shared-extension-module 'type-checks (extension-version "1.0.0"))
+(setup-shared-extension-module 'type-checks (extension-version "1.4.0"))
 
-(setup-shared-extension-module 'conditions (extension-version "1.0.0"))
+(setup-shared-extension-module 'conditions (extension-version "1.4.0"))
 
-(install-extension 'check-errors '() `((version ,(extension-version "1.0.0"))))
+(install-extension 'check-errors '() `((version ,(extension-version "1.4.0"))))