Revision - 192a23f - fix type of pred1 from 'a -> bool to 'a ->'a -> bool

Revision 192a23f0bd53f0be1083912795d3019f5b20b9f4 authored by Cécile BARITEL-RUET on 19 December 2018, 17:24:55 UTC, committed by Cécile BARITEL-RUET on 19 December 2018, 17:24:55 UTC

fix type of pred1 from 'a -> bool to 'a -> 'a -> bool

1 parent 0b59cac

Files
Changes

Permalinks

File	Mode	Size
unix
win32
Makefile	-rw-r--r--	708 bytes
callprover.c	-rw-r--r--	291 bytes

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...