Fixed incorrect empty check.

mcoblenz · Dec 4, 2019 · bb01fc5 · bb01fc5
1 parent 1c23080
commit bb01fc5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/edu/cmu/cs/obsidian/typecheck/Checker.scala b/src/main/scala/edu/cmu/cs/obsidian/typecheck/Checker.scala
@@ -294,7 +294,7 @@ class Checker(globalTable: SymbolTable, verbose: Boolean = false) {
             return Right(ContractUndefinedError(c1.contractName))
         }
 
-        if (c1Lookup.isEmpty) {
+        if (c2Lookup.isEmpty) {
             return Right(ContractUndefinedError(c2.contractName))
         }