domains.k: Do not import K-REFLECTION (runtimeverification#1055)

ttuegel · ehildenb · commit b3536fc69ea5 · 2020-01-26T10:01:12.000-06:00
The module K-REFLECTION is not supported by the Haskell backend, and it is an
error if it is imported. Specifically, `#isConcrete` must not be in scope.
diff --git a/k-distribution/include/builtin/domains.k b/k-distribution/include/builtin/domains.k
@@ -18,7 +18,6 @@ module DOMAINS
   imports K-IO
   imports MAP
   imports SET
-  imports K-REFLECTION
 endmodule
 
 module ARRAY-SYNTAX
