# -*- coding: utf-8 -*-
  # Generated by Django 1.10.5 on 2017-02-05 11:01
  from __future__ import unicode_literals
  
  from django.db import migrations, models
  
  
  class Migration(migrations.Migration):
  
      dependencies = [
          ('elasticity', '0004_auto_20170205_1100'),
      ]
  
      operations = [
          migrations.AlterField(
              model_name='elasticity',
              name='prism_path',
              field=models.FilePathField(verbose_name='Prism Model Checker Path'),
          ),
      ]