From 8b6cc411cceb51b26579f8fcf94424b4842ef0bf Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Mon, 3 Jul 2017 16:57:07 +1000 Subject: Changed build from makefile to gpr file --- src/preferences.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/preferences.adb') diff --git a/src/preferences.adb b/src/preferences.adb index 36cc5ea..6868042 100644 --- a/src/preferences.adb +++ b/src/preferences.adb @@ -63,7 +63,7 @@ package body Preferences is Pref_Loop : for I in Above_Range loop Above_IC (Above_Input, Integer (I), Working_Index, Working_Count); - exit when Working_Count /= 1; + exit Pref_Loop when Working_Count /= 1; Extracted := Extracted + 1; for C of Above_Ballot.Element (Integer (Working_Index)) loop exit Pref_Loop when Formal_Index > Preference_Range'Last; -- cgit