From 1445fad954ebc6f38240b302112675b89bbe2d09 Mon Sep 17 00:00:00 2001
From: Johannes Bader <jogus@live.de>
Date: Sun, 23 Feb 2020 15:03:32 -0800
Subject: [PATCH] Cleanup and fix

---
 .DS_Store          | Bin 6148 -> 0 bytes
 src/rules/rules.ml |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 delete mode 100644 .DS_Store

diff --git a/.DS_Store b/.DS_Store
deleted file mode 100644
index 430d3323efa42dd3a7b4ee6343811d323bbe4ff6..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 6148
zcmeHL&u`N(6n@^qNLP&&38W!$2-<;5hdQln982jqP1-~UJMd#mn$Sk1NtLFn(6p)I
ziuiFva0T`^AR)v6aexbO;ve9?3wPeLP3N$!M}&|q*`MS0p8e&s9oGc_R_?gd0673K
zF%uf2SR9bZPI+G%k}VU6jQR-b)74tkZ0+;Z4O#)Mz`v*f?Og-TK^=TZQv3Jyn|amN
zj4Bl;h#YJ)y`8b$simEZX}den-fAe{hR;hF3M1fx2W=d=4x!tw1x^$N_#sIfQl!Su
zZ2xIjiRHJ}u0B}g#8RC%qdjtm`J@Pre<6Zn(1I8uNH9Clf!i<zO{~}8PKp(K^>whf
z%5h<`FW!LuRmMLq*uURuKtzf^+a><PC~gcjr`vAHsr%`)0>7OU3g6k#uyJJMsF@kf
zX0pe!nVZ!{)U76V(rK6Ncr|yr>bss}$1A>@G?u+^KJeDPa4}x66ED6_&dWGk=pgF0
zbItd<tGN@GqA;=j(2IG0qK_LZe&|Nsa@4_T=KivCUSG142KHl4mTE*AAY*1$a}ygI
zvvV_f>wK}enYT9P<_dYMI5WGsnK8{%XD?s5)w%cZ>9glAUT(j8FTxlt9ZJUq^ve%e
zlTxUwOg5=A$?l%~xaX|SS|{J1H5sSQ(6{@QPmjd9lU8*$*w$O(A}#CHI1Hk&jx9vk
zz|}>YAienjmQ|a|q%dJTc`U~2$EsWova4*wVUNA@;StO%J?Nwr&<bb;6b0z>WML*O
zN$d%vCTizb07QeHDPcV)(UMq_*b~S@(NEkSm<(m|iorxU+AVTNEJ^GM6yd-`I50Uf
zlQ$H`N5?pey8|l;)TLHHE09)TSUl$F{Kwz=hu#0vLHbE6pcVM96ktZBS}Efz$+LCe
z%h6eDVP3;biTrv3c?cHrIOY{Pis^p^p3r7d1+gTtClFgO=^p}I23=?c{;C4M03|U4
AAOHXW

diff --git a/src/rules/rules.ml b/src/rules/rules.ml
index 775fa2f..b64fbea 100644
--- a/src/rules/rules.ml
+++ b/src/rules/rules.ml
@@ -150,7 +150,7 @@ module MakeWLP(S : Sat.S) = struct
            *       These also shouldn't be matched like this, but that will
            *       need to be part of the above fix.
            *)
-          let Cls cname = W.synthtype (A.Var z) in
+          let A.Cls cname = W.synthtype (A.Var z) in
           let Some c = Hashtbl.find W.clsctx (A.name cname) in
           let Some methd =
             List.find ~f:(fun mth -> A.matchIdent m mth.A.name) c.A.methods