__version__ = '0.1'
__version_info__ = tuple([ int(num) for num in __version__.split('.')])

__version__ = '0.1'
__version_info__ = tuple([ int(num) for num in __version__.split('.')])


class SpecializationError(Exception):
    """
    Exception that caused specialization not to occur.

    Attributes:
      msg -- the message/explanation to the user
      phase -- which phase of specialization caused the error
    """

    def __init__(self, msg, phase="Unknown phase"):
        self.value = value
        

Add asp.SpecializationError class for specialization-related exceptions.
Add asp.SpecializationError class for specialization-related exceptions.

  __version__ = '0.1'
  __version_info__ = tuple([ int(num) for num in __version__.split('.')])
  
+ 
+ class SpecializationError(Exception):
+     """
+     Exception that caused specialization not to occur.
+ 
+     Attributes:
+       msg -- the message/explanation to the user
+       phase -- which phase of specialization caused the error
+     """
+ 
+     def __init__(self, msg, phase="Unknown phase"):
+         self.value = value
+         
+ 
Add asp.SpecializationError class for specialization-related exceptions.
## Code Before:
__version__ = '0.1'
__version_info__ = tuple([ int(num) for num in __version__.split('.')])

## Instruction:
Add asp.SpecializationError class for specialization-related exceptions.
## Code After:
__version__ = '0.1'
__version_info__ = tuple([ int(num) for num in __version__.split('.')])


class SpecializationError(Exception):
    """
    Exception that caused specialization not to occur.

    Attributes:
      msg -- the message/explanation to the user
      phase -- which phase of specialization caused the error
    """

    def __init__(self, msg, phase="Unknown phase"):
        self.value = value
        
