-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
With gnat pro I have this output :
gcc -c -gnat12 algo_2sat.adb
algo_2sat.adb:10:32: subtype mark required in this context
algo_2sat.adb:11:25: subtype mark required in this context
My gnatpro version :
gcc -v
gcc version 4.7.2 20120902 for GNAT Pro
Package: gnat-4.6
Version: 4.6.3-8
When compiled with gnatmake -gnat12 algo_2sat.adb
package body Algo_2SAT is
type Orientation is (Unused, Unnegated, Negated, Both);
procedure Monodirectional (P: in out Problem_2SAT) is
Count : array (1 .. Variable (100)) of Orientation := (others =>
2 matches
Mail list logo