Commit 8e1e6d69 authored by MARCHE Claude's avatar MARCHE Claude

version 0.73

parent 21101dd9
...@@ -1371,7 +1371,7 @@ DISTRIB_TAR = $(DISTRIB_DIR).tar.gz ...@@ -1371,7 +1371,7 @@ DISTRIB_TAR = $(DISTRIB_DIR).tar.gz
DISTRIB_FILES = Version Makefile.in configure.in META.in configure \ DISTRIB_FILES = Version Makefile.in configure.in META.in configure \
README CHANGES INSTALL OCAML-LICENSE LICENSE src/config.sh.in \ README CHANGES INSTALL OCAML-LICENSE LICENSE src/config.sh.in \
src/*.ml* src/*.dep src/*/*.ml* src/*/*.dep src/*/*.c \ src/*.ml* src/*.dep src/*/*.ml* src/*/*.dep src/*/*.c \
plugins/*/*.ml* plugins/*/*.dep \ plugins/printer/.keepme plugins/*/*.ml* plugins/*/*.dep \
doc/version.tex.in doc/manual.pdf \ doc/version.tex.in doc/manual.pdf \
drivers/*.drv drivers/*.gen \ drivers/*.drv drivers/*.gen \
examples/*.why examples/programs/*.mlw examples/tptp/*.why \ examples/*.why examples/programs/*.mlw examples/tptp/*.why \
......
# Why version # Why version
VERSION=0.72+git VERSION=0.73
...@@ -239,7 +239,7 @@ let print_data_decl info fmt = function ...@@ -239,7 +239,7 @@ let print_data_decl info fmt = function
| _, _ -> unsupported | _, _ -> unsupported
"alt-ergo : algebraic datatype are not supported" "alt-ergo : algebraic datatype are not supported"
let print_data_decl info fmt ((ts, csl) as p) = let print_data_decl info fmt ((ts, _csl) as p) =
if Mid.mem ts.ts_name info.info_syn then () else if Mid.mem ts.ts_name info.info_syn then () else
print_data_decl info fmt p print_data_decl info fmt p
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment