Skip to content

Commit

Permalink
Update NFTyping.mo (#841)
Browse files Browse the repository at this point in the history
  • Loading branch information
JKRT committed May 5, 2020
1 parent 8c42856 commit be0d724
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion OMCompiler/Compiler/NFFrontEnd/NFTyping.mo
Expand Up @@ -70,7 +70,7 @@ import InstUtil = NFInstUtil;
import Lookup = NFLookup;
import MatchKind = NFTypeCheck.MatchKind;
import NFCall.Call;
import NFClass.ClassTree;
import NFClassTree.ClassTree;
import Subscript = NFSubscript;
import TypeCheck = NFTypeCheck;
import Types;
Expand Down

0 comments on commit be0d724

Please sign in to comment.