# -*- 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'),
        ),
    ]