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_sugar.erl | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'src/ataxic_sugar.erl')

diff --git a/src/ataxic_sugar.erl b/src/ataxic_sugar.erl
index eb0ef57..3098196 100644
--- a/src/ataxic_sugar.erl
+++ b/src/ataxic_sugar.erl
@@ -86,10 +86,14 @@ update_orddict_element (IX, OP) ->
 -spec nop () -> ataxic:basic().
 nop () -> ataxic:sequence([]).
 
--spec update_ordset (ordsets:ordset(), ordsets:ordeset()) -> ataxic:basic().
+-spec update_ordset
+   (
+      ordsets:ordset(any()),
+      ordsets:ordset(any())
+   ) -> ataxic:basic().
 update_ordset (Old, New) ->
-   Remove = ordsets:substract(Old, New),
-   Add = ordsets:substract(New, Old),
+   Remove = ordsets:subtract(Old, New),
+   Add = ordsets:subtract(New, Old),
 
    ataxic:sequence
    (
-- 
cgit v1.2.3-70-g09d2