Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/VampireLanguageQuickfixProvider.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

/**
 * generated by Xtext 2.12.0
 */
package ca.mcgill.ecse.dslreasoner.ui.quickfix;

import org.eclipse.xtext.ui.editor.quickfix.DefaultQuickfixProvider;

/**
 * Custom quickfixes.
 * 
 * See https://www.eclipse.org/Xtext/documentation/310_eclipse_support.html#quick-fixes
 */
@SuppressWarnings("all")
public class VampireLanguageQuickfixProvider extends DefaultQuickfixProvider {
}