|
From: Commits f. t. S. r. <rod...@li...> - 2025-02-27 10:34:29
|
Revision: 16771
http://sourceforge.net/p/rodin-b-sharp/svn/16771
Author: gverdier
Date: 2025-02-27 10:34:26 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Fix typing error
If getPatternType() or getParameterisationInfo() finds a powerset type,
it must return it, not the base type. As it was, it indicated that the
type of a carrier set S was S, which crashed the static checker: it has
to be POW(S).
Modified Paths:
--------------
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/ParameterisationInfo.java
trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/PatternInfo.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|