diff options
Diffstat (limited to 'test-suite/modules/pseudo_circular_with.v')
| -rw-r--r-- | test-suite/modules/pseudo_circular_with.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/modules/pseudo_circular_with.v b/test-suite/modules/pseudo_circular_with.v index 9e46d17e..6bf067fd 100644 --- a/test-suite/modules/pseudo_circular_with.v +++ b/test-suite/modules/pseudo_circular_with.v @@ -3,4 +3,4 @@ Module Type T. Declare Module M:S. End T. Module N:S. End N. Module NN:T. Module M:=N. End NN. -Module Type U := T with Module M:=NN.
\ No newline at end of file +Module Type U := T with Module M:=NN. |