Make GenericSort public

kjcjohnson · kjcjohnson · commit daf73594acce · 2024-03-11T20:43:31.000-05:00
diff --git a/Semgus-Lib/Model/Smt/SmtSort.cs b/Semgus-Lib/Model/Smt/SmtSort.cs
@@ -55,7 +55,7 @@ public virtual void UpdateForResolvedParameters(IList<SmtSort> resolved) { }
         /// <summary>
         /// An arbitrary generic sort
         /// </summary>
-        internal class GenericSort : SmtSort
+        public class GenericSort : SmtSort
         {
             /// <summary>
             /// Constructs a new generic sort

Original file line number	Diff line number	Diff line change
`@@ -55,7 +55,7 @@ public virtual void UpdateForResolvedParameters(IList<SmtSort> resolved) { }`
`55`	`55`	`/// <summary>`
`56`	`56`	`/// An arbitrary generic sort`
`57`	`57`	`/// </summary>`
`58`		`- internal class GenericSort : SmtSort`
	`58`	`+ public class GenericSort : SmtSort`
`59`	`59`	`{`
`60`	`60`	`/// <summary>`
`61`	`61`	`/// Constructs a new generic sort`