add Intrinsimp in domain

073d3be3 · Bruno Guillaume · b386c98d · 073d3be3
Commit 073d3be3 authored May 15, 2017 by Bruno Guillaume
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

ud.dom domains/ud.dom +1 -1

No files found.
--- a/domains/ud.dom
+++ b/domains/ud.dom
@@ -78,7 +78,7 @@ features {
  NumValue: 1, "1,2,3";
  ConjType: Oper;

-  Diat: Demsuj;
+  Diat: Demsuj; Intrinsimp: Yes;
 }

 % ====================================================================================================