diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2005-12-12 08:02:38 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2005-12-12 08:02:38 +0000 |
| commit | 9b865efb2c279a54b5bf9561c3f8b5351a8ddd48 (patch) | |
| tree | 7f0545f9cf173c371cbf5ebd24b48838b9b0c95e /parsing/printast.ml | |
| parent | 2a13648d56564367ddd0843646a8389a9c910016 (diff) | |
| download | ocaml-expoly.tar.gz | |
ajout de la quantification des variables de rangeeexpoly
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/expoly@7260 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing/printast.ml')
| -rw-r--r-- | parsing/printast.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/parsing/printast.ml b/parsing/printast.ml index 190d9ea779..9277d12da1 100644 --- a/parsing/printast.ml +++ b/parsing/printast.ml @@ -634,9 +634,9 @@ and pattern_x_expression_case i ppf (p, e) = pattern (i+1) ppf p; expression (i+1) ppf e; -and pattern_x_expression_def i ppf (vl, p, e) = +and pattern_x_expression_def i ppf (evo, p, e) = line i ppf "<def>\n"; - string (i+1) ppf (String.concat " " vl); + (* string (i+1) ppf (String.concat " " vl); *) pattern (i+1) ppf p; expression (i+1) ppf e; |