diff --git a/utils/config.mlp b/utils/config.mlp index 5d59da4e8..cc5fe070d 100644 --- a/utils/config.mlp +++ b/utils/config.mlp @@ -11,7 +11,7 @@ (* $Id$ *) -let version = "1.04-1" +let version = "1.04-2" let standard_library = try