X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.runtime%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fruntime%2Funification%2FUTag.java;h=0f813f0e34651b54a2fae8d5dcb4e1058a3b5b87;hb=309b4b814a1375c2e2bd67bdee77d62bc9abf073;hp=e378248c4f954c689c707b7f9092eb740236bc4a;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/unification/UTag.java b/bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/unification/UTag.java index e378248c4..0f813f0e3 100644 --- a/bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/unification/UTag.java +++ b/bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/unification/UTag.java @@ -1,18 +1,18 @@ -package org.simantics.scl.runtime.unification; - -import org.simantics.scl.runtime.function.Function; - -public class UTag { - public final int id; - @SuppressWarnings("rawtypes") - public final Function constructor; - @SuppressWarnings("rawtypes") - public final Function destructor; - - @SuppressWarnings("rawtypes") - public UTag(int id, Function constructor, Function destructor) { - this.id = id; - this.constructor = constructor; - this.destructor = destructor; - } -} +package org.simantics.scl.runtime.unification; + +import org.simantics.scl.runtime.function.Function; + +public class UTag { + public final int id; + @SuppressWarnings("rawtypes") + public final Function constructor; + @SuppressWarnings("rawtypes") + public final Function destructor; + + @SuppressWarnings("rawtypes") + public UTag(int id, Function constructor, Function destructor) { + this.id = id; + this.constructor = constructor; + this.destructor = destructor; + } +}