From 89f6fbd55b9eebcc296c6d933009c7ec6aa35e55 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Thu, 25 Apr 2019 22:41:39 +0200
Subject: Makes it pass the Dialyzer check again.

---
 src/ataxic.erl | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'src/ataxic.erl')

diff --git a/src/ataxic.erl b/src/ataxic.erl
index 92c11b1..4a1bd8b 100644
--- a/src/ataxic.erl
+++ b/src/ataxic.erl
@@ -183,7 +183,15 @@ optimize_update_field_sequence (UnsortedOPs, CurrentResults) ->
    {FieldUpdates, PotentiallyImportantOPs} =
       lists:splitwith(fun (E) -> is_record(E, upfield) end, UnsortedOPs),
 
-   SortedFieldUpdates = lists:sort(fun (E) -> E#upfield.ix end, FieldUpdates),
+   SortedFieldUpdates =
+      lists:sort
+      (
+         fun (A, B) ->
+            ((A#upfield.ix) =< (B#upfield.ix))
+         end,
+         FieldUpdates
+      ),
+
    {LastIX, LastUpdateOPs, OtherMergedFieldUpdates} =
       lists:foldl
       (
@@ -247,7 +255,7 @@ optimize_update_field_sequence (UnsortedOPs, CurrentResults) ->
       (CurrentResults ++ MergedFieldUpdates ++ ImportantOPs)
    ).
 
--spec flatten_sequence (list(basic())) -> basic().
+-spec flatten_sequence (list(basic())) -> list(basic()).
 flatten_sequence (OPs) ->
    lists:foldl
    (
-- 
cgit v1.2.3-70-g09d2